Reflection in Rewriting Logic Metalogical Foundations and Metaprogramming Applications
Availability: In stock
Regular Price
AED 150.00
Special Price
AED 142.50
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.
| Publisher Name | Center for the Study of Language and Informat |
|---|---|
| Author Name | Hagendorf, Col |
| Format | Audio |
| Bisac Subject Major | COM |
| Language | NG |
| Isbn 10 | 1575862387 |
| Isbn 13 | 9781575862385 |
| Target Age Group | min:NA, max:NA |
| Dimensions | 00.90" H x 00.06" L x 00.00" W |
| Page Count | 216 |
Write Your Own Review
Recommended Products
The Kite Runner 20th Anniversa...
Pre-order Price...
Regular Price
AED 140.00
Special Price
AED 93.00
The Secret of The Nagas (Shiva...
Today, He is a God. 4000 years ago, He was just a man.
The hunt is on. The sinister Naga warrior...
AED 40.00
