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

This product is currently unavailable.

  • This item has been added to your basket
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...

Data Analysis with Open Source Tools
Added to basket
Modelling Computing Systems
Added to basket
Boosting
Added to basket
£32.00
Paperback
Sets, Logic and Maths for Computing
Added to basket
Logic in Computer Science
Added to basket
Bayesian Methods for Hackers
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback
The Elements of Statistical Learning
Added to basket
A First Course in Network Theory
Added to basket
The Algorithm Design Manual
Added to basket
Lambda-Calculus and Combinators
Added to basket
Concrete Mathematics
Added to basket
Foundation Mathematics
Added to basket
Discrete Mathematics
Added to basket

Please sign in to write a review

Your review has been submitted successfully.