A reflective extension of ELAN
Authors:
- Hélène KirchnerHKHélène Kirchner
- Pierre-Etienne MoreauPMPierre-Etienne Moreau
Open Access
- 31 December 1996
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 4, 149-168
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 systems1995
- Elf: A meta-language for deductive systems1994
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992
- Concepts and experiments in computational reflection1987
- Completion of a Set of Rules Modulo a Set of EquationsSIAM Journal on Computing, 1986
- Reflection and semantics in LISP1984
- Prolegomena to a theory of mechanized formal reasoningArtificial Intelligence, 1980