Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications (Hardback)
  • Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications (Hardback)
zoom

Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications (Hardback)

(author)
£49.00
Hardback 214 Pages / Published: 01/06/2000
  • Not available

Currently unavailable

Email me when available

Stay one step ahead and let us notify you when this item is next available to order

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.

Publisher: Centre for the Study of Language & Information
ISBN: 9781575862378
Number of pages: 214
Weight: 419 g
Dimensions: 228 x 152 x 19 mm

You may also be interested in...

Data Analysis with Open Source Tools
Added to basket
Introduction to Lattices and Order
Added to basket
All of Statistics
Added to basket
Computational Complexity
Added to basket
Bayesian Methods for Hackers
Added to basket
Classical and Quantum Computation
Added to basket
Concise Computer Mathematics
Added to basket
Foundation Mathematics
Added to basket
Post-Quantum Cryptography
Added to basket
The Essential Turing
Added to basket
Information, Physics, and Computation
Added to basket
Discrete Mathematics
Added to basket
The Elements of Statistical Learning
Added to basket

Please sign in to write a review

Your review has been submitted successfully.