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 ...
Read More
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.
Read Less
Add this copy of Reflection in Rewriting Logic: Metalogical Foundations to cart. $40.54, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2000 by Center for the Study of Language and Information Publica Tion.
Edition:
2000, Center for the Study of Language and Information Publica Tion
Add this copy of Reflection in Rewriting Logic: Metalogical Foundations to cart. $41.96, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2000 by Center for the Study of Language and Information Publica Tion.
Edition:
2000, Center for the Study of Language and Information Publica Tion
Add this copy of Reflection in Rewriting Logic to cart. $44.90, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 2000 by Center for the Study of Language & Information CSLI Publications.
Edition:
2000, Center for the Study of Language and Information Publica Tion
Add this copy of Reflection in Rewriting Logic: Metalogical Foundations to cart. $72.86, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2000 by Center for the Study of Langua.
Edition:
2000, Center for the Study of Language and Information Publica Tion
Add this copy of Reflection in Rewriting Logic: Metalogical Foundations to cart. $105.33, new condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2000 by Center for the Study of Langua.
Edition:
2000, Center for the Study of Language and Information Publica Tion
