Menu
Află starea comenzii
Contactați-ne
Carte Reflection in Rewriting Logic Manuel Clavel

Reflection in Rewriting Logic

Metalogical Foundations and Metaprogramming Applications

Autor: Manuel Clavel
Limbă: engleză
Legare: Carte broșată
Editura: Centre for the Study of Language & Information
Disponibilitate: Retipărire preconizată
Termenul este necunoscut
176.01 lei
Clavel's book proposes a general theory of reflective logics and reflective declarative programming...

Informații despre carte

Autor
Manuel Clavel
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2000
Pagini
192
EAN
9781575862385
ISBN
1575862387
Enbook ID
04821025
Editura
Centre for the Study of Language & Information
Greutate
293
Dimensiuni
152 x 228 x 16

Descriere completă

Clavel's book proposes a general theory of reflective logics and reflective declarative programming languages that provides a conceptual foundation for judging the extent to which a computational system is reflective. Applying this general framework, Clavel makes an in depth study of reflection in rewriting logic. This book presents examples of the powerful potential for reflective programming in a number of novel computer applications. Clavel proposes axiomatic notions for reflective logics and reflective declarative programming languages. The key concept is the notion of a 'universal theory' that can simulate the deductions of all other theories in a logic. These applications are developed using the Maude language, a reflective programming language and environment that implements rewriting logic and supports its reflective capabilities. These examples demonstrate the power of Maude to define and execute mappings of logics, and to represent and execute different languages and models of computation.

S-ar putea să te intereseze

Edward Unspooled

Craig Lancaster
78.88 lei

The Wu-tang Manual

The Rza
108.91 lei

Fyodor Dostoevsky: White Nights (English Edition)

Fyodor Dostoevsky
30.02 lei

Let The Drums Speak!

Jack Hoban
93.59 lei

What Is Life? a Guide to Biology with Physiology (High School)

Jay Phelan
844.93 lei

Tidal Streams Between Portland Bill and St Alban's Head

Bruce Peter
61.85 lei

Creativity & the Contemporary Economy

Alf Rehn
270.82 lei

Maggie

Harold Bloom
176.01 lei

Prophecy Part 2

Tetsuya Tsutsui
66.89 lei

26th Southern Biomedical Engineering ConferenceSBEC 2010 April 30 - May 2, 2010 College Park, Maryland, USA

Keith E. Herold
1 650.47 lei

Visual Culture in Contemporary China

Xiaobing Tang
187.19 lei

Discovering the Leader Within

Randy Fujishin
247.34 lei

Strong in the Struggle

Lee Brown
144.98 lei

Pilgrimages/Peregrinajes

Maria Lugones
364.02 lei

Abnormality

Lisa D. Butler
103.27 lei

Bartender's Guide to Mixing 600 Cocktails & Drinks

Stuart Walton
74.45 lei

Clienții care au cumpărat această carte au mai cumpărat și

MINIX TV Series: Stranger Things - Max #181

74.65 lei

Hôtel Carthagène

Buchholz
127.55 lei

Musik, 2. Klasse

Dagmar Kuhlmann
111.22 lei