Reflection in Rewriting Logic

Name: Reflection in Rewriting Logic
Brand: Centre for the Study of Language & Information
SKU: 9781575862385
Price: 814 CZK
Availability: PreOrder

Metalogical Foundations and Metaprogramming Applications

Autor: Manuel Clavel

Jazyk:

Vazba: Brožovaná

Vydavatel: Centre for the Study of Language & Information

Dostupnost: Očekávaný dotisk

Termín neznámý

814 Kč

Clavel's book proposes a general theory of reflective logics and reflective declarative programming...

Informace o knize

Autor

Manuel Clavel

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2000

Stránek

192

EAN

9781575862385

ISBN

1575862387

Enbook ID

04821025

Vydavatel

Centre for the Study of Language & Information

Hmotnost

293

Rozměry

152 x 228 x 16

Kompletní popis

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.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Reflection in Rewriting Logic

Metalogical Foundations and Metaprogramming Applications

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Edward Unspooled

The Wu-tang Manual

Fyodor Dostoevsky: White Nights (English Edition)

Let The Drums Speak!

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

Tidal Streams Between Portland Bill and St Alban's Head

Creativity & the Contemporary Economy

Maggie

Prophecy Part 2

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

Visual Culture in Contemporary China

Discovering the Leader Within

Strong in the Struggle

Pilgrimages/Peregrinajes

Abnormality

Bartender's Guide to Mixing 600 Cocktails & Drinks

Zákaznicí kteří koupili tuto knihu koupili také

MINIX TV Series: Stranger Things - Max #181

Hôtel Carthagène

Musik, 2. Klasse