Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications

Metalogical Foundations and Metaprogramming Applications
Centre for the Study of Language & Information (Verlag)
  • erschienen am 1. Juni 2000
  • Buch
  • |
  • Hardcover
  • |
  • 214 Seiten
978-1-57586-237-8 (ISBN)
Reflection, the capacity to represent our ideas and to make them the object of our own thoughts, has for many centuries been recognized as a key mark of human intelligence. The very success and extension of reflective ideas in logic and computer science underscores the need for conceptual foundations.
This book proposes a general theory of reflective logics and reflective declarative programming languages. This theory provides a conceptual foundation for judging the extent to which a computational system is reflective. Manuel Clavel presents a proof of the reflective nature of rewriting logic and provides examples of the potential for reflective programming in a number of novel computer applications. These applications are implemented in Maude, a reflective programming language and environment based on rewriting logic that can define, represent and execute a breadth of logics, languages and models of computation. A general method to easily build theorem-proving tools in Maude is also proposed and illustrated. The book goes on to promote the notion of a "universal theory" that can simulate the deductions of all representable theories within any given logic.
  • Englisch
  • New York
  • |
  • USA
  • Für Beruf und Forschung
  • Höhe: 236 mm
  • |
  • Breite: 159 mm
  • |
  • Dicke: 17 mm
  • 408 gr
978-1-57586-237-8 (9781575862378)
1575862379 (1575862379)
Introduction; 1. General logics and rewriting logic; 2. Reflection in general logics and in rewriting logic; 3. Reflection and strategies in Maude; 4. Applications of reflective Maude; 5. Conclusion; Appendix; Bibliography; Index.

Versand in 10-20 Tagen

58,82 €
inkl. 7% MwSt.
in den Warenkorb

Abholung vor Ort? Sehr gerne!
Unsere Web-Seiten verwenden Cookies. Mit der Nutzung dieser Web-Seiten erklären Sie sich damit einverstanden. Mehr Informationen finden Sie in unserem Datenschutzhinweis. Ok