Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications
Manuel Clavel · 2000
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.