Reflection in Rewriting Logic
Metalogical Foundations and Metaprogramming Applications
Seiten
2000
Centre for the Study of Language & Information (Verlag)
978-1-57586-237-8 (ISBN)
Centre for the Study of Language & Information (Verlag)
978-1-57586-237-8 (ISBN)
- Titel z.Zt. nicht lieferbar
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
Proposes a general theory of reflective logics and reflective declarative programming languages.
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.
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.
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.
| Erscheint lt. Verlag | 16.10.2000 |
|---|---|
| Verlagsort | Stanford |
| Sprache | englisch |
| Maße | 152 x 228 mm |
| Gewicht | 419 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 1-57586-237-9 / 1575862379 |
| ISBN-13 | 978-1-57586-237-8 / 9781575862378 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
was jeder über Informatik wissen sollte
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven
Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
Eine Einführung in die Systemtheorie
Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95
