REM (reduce elan machine): Core of the new ELAN compiler

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1833, Issue , 2000, Pages 265-269

  Moreau, Pierre Etienne ^a  

^a Bouygues Telecom   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248893634     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10721975_19     Document Type: Conference Paper

References (5)

1. P. Borovansky, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. An overview of ELAN. In Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, volume 15. Electronic Notes in Theoretical Computer Science, 1998.
2. H. Kirchner and P.-E. Moreau. Non-deterministic computations in ELAN. In Recent Developements in Algebraic Specification Techniques, 13th WADT’98, volume 1589 of Lecture Notes in Computer Science, pages 168-182. Springer-Verlag, 1998.
3. P. Klint. A meta-environment for generating programming environments. ACM Transactions on Software Engineering and Methodology, 2:176-201, 1993.
4. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96(1):73-155, 1992.
5. P.-E. Moreau and H. Kirchner. A compiler for rewrite programs in associative-commutative theories. In “Principles of Declarative Programming”, number 1490 in Lecture Notes in Computer Science, pages 230-249. Springer-Verlag, 1998.