Click & Collect
from 2 Hours*
Last Christmas
delivery dates
Free UK Standard Delivery On all orders over £25 Order in time for Christmas 19th December 2nd Class |
21st December by 3pm 1st Class
Free Click & Collect to shops From 2 hours after you order*
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications (Paperback)
  • Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications (Paperback)
zoom

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

(author)
£22.50
Paperback 192 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: 9781575862385
Number of pages: 192
Weight: 293 g
Dimensions: 228 x 152 x 16 mm

You may also be interested in...

Classical and Quantum Computation
Added to basket
Foundation Mathematics
Added to basket
Introduction to Lattices and Order
Added to basket
The Essential Turing
Added to basket
Information, Physics, and Computation
Added to basket
Numerical Recipes 3rd Edition
Added to basket
Post-Quantum Cryptography
Added to basket
Concise Computer Mathematics
Added to basket
The Elements of Statistical Learning
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
Discrete Mathematics for Computing
Added to basket
Data Analysis with Open Source Tools
Added to basket
Probability Models
Added to basket
£29.99
Paperback
All of Statistics
Added to basket

Please sign in to write a review

Your review has been submitted successfully.