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.