Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic
Authors:
- Manuel ClavelMCManuel Clavel
- José MeseguerJMJosé Meseguer
- Miguel PalominoMPMiguel Palomino
- 1 March 2007
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 373 (1-2) , 70-91
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Reflective metalogical frameworksACM Transactions on Computational Logic, 2004
- Reflection in conditional rewriting logicTheoretical Computer Science, 2002
- ELAN from a rewriting logic point of viewTheoretical Computer Science, 2002
- Specification of real-time and hybrid systems in rewriting logicTheoretical Computer Science, 2002
- Maude: specification and programming in rewriting logicTheoretical Computer Science, 2002
- Rewriting logic: roadmap and bibliographyTheoretical Computer Science, 2002
- A Generic Reification Technique for Object-Oriented Reflective LanguagesHigher-Order and Symbolic Computation, 2001
- Specification and proof in membership equational logicTheoretical Computer Science, 2000
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- The concept of a supercompilerACM Transactions on Programming Languages and Systems, 1986