Reflection in Rewriting Logic

Reflection in Rewriting Logic
Author :
Publisher : Stanford Univ Center for the Study
Total Pages : 200
Release :
ISBN-10 : 1575862387
ISBN-13 : 9781575862385
Rating : 4/5 (385 Downloads)

Book Synopsis Reflection in Rewriting Logic by : Manuel Clavel

Download or read book Reflection in Rewriting Logic written by Manuel Clavel and published by Stanford Univ Center for the Study. This book was released on 2000-01-01 with total page 200 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Reflection in Rewriting Logic Related Books

Reflection in Rewriting Logic
Language: en
Pages: 200
Authors: Manuel Clavel
Categories: Computers
Type: BOOK - Published: 2000-01-01 - Publisher: Stanford Univ Center for the Study

DOWNLOAD EBOOK

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 i
Handbook of Philosophical Logic
Language: en
Pages: 377
Authors: Dov M. Gabbay
Categories: Philosophy
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

It is with great pleasure that we are presenting to the community the second edition of this extraordinary handbook. It has been over 15 years since the publica
Reflection in Rewriting Logic
Language: en
Pages: 200
Authors: Manuel Clavel
Categories: Computer logic
Type: BOOK - Published: 2000 - Publisher:

DOWNLOAD EBOOK

Clavel proposes a general theory of reflective logics and reflective declarative programming languages that provides a conceptual foundation for judging the ext
Computational Logic
Language: en
Pages: 451
Authors: Ulrich Berger
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical
Formal Description Techniques and Protocol Specification, Testing and Verification
Language: en
Pages: 486
Authors: Stan Budkowski
Categories: Technology & Engineering
Type: BOOK - Published: 1998-10-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed syst