A reflective extension of ELAN
Open Access
- 31 December 1996
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 4, 149-168
- https://doi.org/10.1016/s1571-0661(04)00038-6
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Controlling Rewriting by RewritingElectronic Notes in Theoretical Computer Science, 1996
- ELANElectronic Notes in Theoretical Computer Science, 1996
- Prototyping completion with constraints using computational systemsPublished by Springer Nature ,1995
- Elf: A meta-language for deductive systemsPublished by Springer Nature ,1994
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Concepts and experiments in computational reflectionPublished by Association for Computing Machinery (ACM) ,1987
- Completion of a Set of Rules Modulo a Set of EquationsSIAM Journal on Computing, 1986
- Reflection and semantics in LISPPublished by Association for Computing Machinery (ACM) ,1984
- Prolegomena to a theory of mechanized formal reasoningArtificial Intelligence, 1980