Reflection in Rewriting Logic by Clavel, Manuel ISBN 1575862387

From Student Book World

Contents 1 Reflection in Rewriting Logic 1.1 Book Details 1.1.1 Title 1.1.2 Author 1.1.3 ISBN 1.1.4 Published 1.1.5 Publisher 1.1.6 Binding 1.1.7 Retail Price 1.1.8 Typical Price Online 2 Buy Book Online

[edit] Reflection in Rewriting Logic

Clavel's book proposes a theory of reflective logics and reflective declarative programming languages that provides a conceptual foundation for judging how far a computational system is reflective. Applying this general framework, Clavel presents examples of the potential for reflective programming in a number of novel computer applications.

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.

[edit] Book Details

[edit] Title

Reflection in Rewriting Logic

[edit] Author

Clavel, Manuel

[edit] ISBN

1575862387

[edit] Published

03/11/2000

[edit] Publisher

Centre for the Study of Language & Information, U.S.

[edit] Binding

[edit] Retail Price

15.95 (GBP)

[edit] Typical Price Online

15.95 (GBP)

[edit] Buy Book Online

If you wish to purchase Reflection in Rewriting Logic, written by Clavel, Manuel and published by Centre for the Study of Language & Information, U.S. on 03/11/2000 then we have listed a few select online book retailers who can provide good value and service.

	ISBN 1575862387 BUY NOW

This section is supported by pay as you go sim card providers; IDT Mobile, Nomi Mobile , Lebara Mobile and Planet Talk Instant Dial Service.