by Manuel Clavel
CSLI, 2000
Cloth: 978-1-57586-237-8 | Paper: 978-1-57586-238-5 | eISBN: 978-1-57586-914-8
Library of Congress Classification QA76.9.L63C655 2000
Dewey Decimal Classification 005.131

ABOUT THIS BOOK | TOC
ABOUT THIS BOOK
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.

See other books on: Computer logic | Human information processing | Logic Design | Programming | Reflection
See other titles from CSLI