Papers and technical reports about ELAN


Implementation of ELAN

- [19] H. Kirchner and P.E. Moreau:
Non-deterministic Computations in ELAN. - Recent Developements in Algebraic Specification Techniques, Proc. 13th WADT'98, Selected Papers. J.L. Fiadeiro editor, LNCS 1589, pp. 168-182, 1999.

- [36] P.-E. Moreau:
Compilation de règles de réécriture et de stratégies non-déterminites. - In French. Thèse de Doctorat d'Université, Université Henri Poincaré - Nancy I, June 1999.

- [40] P. Borovansky, H. Cirstea, H. Dubois, C. Kirchner, H. Kirchner, P.E. Moreau, C. Ringeissen and M. Vittek:
ELAN V 3.3 User manual. - INRIA Lorraine & LORIA, Nancy (France), third edition, December 1998.

- [16] P.E. Moreau, H. Kirchner:
A Compiler for Rewrite Programs in Associative-Commutative Theories. - In Proceedings of Algebraic and Logic Programming - Programming Language Implementation and Logic Programming, ALP/PLI LP'98, Lecture Notes in Computer Science, Pisa, September 1998. Springer-Verlag.

- [20] P. Borovansky, S. Jamoussi, P.-E. Moreau, and C.Ringeissen:
Handling ELAN Rewrite Programs via an Exchange Format. - In C. and H. Kirchner, editors. Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, Pont-A-Mousson, France, September 1998

- [13] P. Borovansky:
The control of rewriting : Study and Implementation of a Strategy Formalism. In C. and H. Kirchner, editors. Proceedings of the 2nd International Workshop on Rewriting Logic and its Applications, Pont-A-Mousson, France, September 1998.

- [18] P.E. Moreau:
A choice-point library for backtrack programming. JICSLP'98 Post-Conference Workshop on Implementation Technologies for Programming Languages based on Logic, June 1998

- [10] P. Borovansky, C. Kirchner, H. Kirchner, P.E. Moreau and M. Vittek:
ELAN V 3.0 User manual. - INRIA Lorraine & LORIA, Nancy (France), second edition, January 1998.

- [17] P.E. Moreau, H. Kirchner:
Compilation of Associative-Commutative Normalisation with Strategies in ELAN (Full version) - Report CRIN 97-R-129
A more advanced approach of compilation of AC-normalisation including compilation of strategies.

- [15] P.E. Moreau, H. Kirchner:
Compilation Techniques for Associative-Commutative Normalisation - In Proceedings of International Workshop on Theory and Practice of Algebraic Specifications ASF+SDF 97, Amsterdam 1997.
A first approach of compilation of AC-normalisation, especially focussing on AC-matching.

- [11] M. Vittek:
A Compiler for Nondeterministic Term Rewriting Systems. - In H.Ganzinger, editor. Proceedings 7th Conference on Rewriting Techniques and Applications, New Brunswick, New Jersey, USA, Volume 1103 of Lecture Notes in Computer Science, pages 154-168. Springer-Verlag, July 1996.