Reflection in Rewriting Logic
Metalogical Foundations and Metaprogramming Applications
Published on 1. June 2000
Book
Hardback
214 pages
978-1-57586-237-8 (ISBN)
Description
Proposes a general theory of reflective logics and reflective declarative programming languages.
More details
Content
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.