Papers and technical reports about ELAN


Foundations of ELAN

- [55] P.Borovansky, C.Kirchner, H. Kirchner and C. Ringeissen :
Rewriting with strategies in ELAN: a functional semantics - to appear in the International Journal of Foundations of Computer Science, March 2001.

- [54] H.Cirstea and C.Kirchner:
The Rewriting Calculus - Part I and Part II - 2001.

- [53] H.Cirstea, C.Kirchner and L. Liquori:
The Rho Cube - in proceedings of FOSSACS'2001 , LNCS, April 2001.

- [52] H.Cirstea:
Calcul de réécriture: fondements et applications - PhD thesis, Université Henri Poincaré, Nancy, France, October 25, 2000.

- [51] H.Cirstea, C.Kirchner and L. Liquori:
Matching Power - Submited, October 2000.

- [50] H.Cirstea and C.Kirchner:
The Simply Typed Rewriting Calculus - Presented at the Third International Workshop on Rewriting Logic and Application, Kanazawa, Japan, September 2000.

- [49] H.Cirstea and C.Kirchner:
An introduction to the rewriting calculus - INRIA Research Report RR-3818, December 1999.

- [35] H.Cirstea and C.Kirchner:
Combining Higher-Order and first-Order Computation Using - Calculus: Towards a semantics of ELAN. - D.M. Gabbay and M. de Rijke editors. Frontiers of Combining Systems 2, pages 95-121, Research Studies Press/Wiley, 1999.

- [14] P. Borovansky:
Le controle de la réécriture : étude et implantation d'un formalisme de stratégies. - Thèse de Doctorat d'Université, Université Henri Poincaré - Nancy I, octobre 1998.

- [34] H.Cirstea and C.Kirchner:
-Calculus, Its Syntax and Basic Properties. - Presented at the CCL'98 Workshop. LORIA Reseach Report 98-R-218, August 1998.

- [8] P. Borovansky, C. Kirchner, H. Kirchner:
A functional view of rewriting and strategies for a semantic of ELAN. - In M.Sato and Y.Toyama, editors. The Third Fuji International Symposium on Functional and Logic Programming, pages 143-167, Kyoto, April 1998. World Scientific.

- [6] P. Borovansky, C. Kirchner, H. Kirchner:
Rewriting as a Unified Specification Tool for Logic and Control : The ELAN Language - In Proceedings of International Workshop on Theory and Practice of Algebraic Specifications ASF+SDF 97. Worshops in Computing, Amsterdam, September 1997. Springer-Verlag.

- [7] P. Borovansky, C. Kirchner, H. Kirchner:
Strategies of ELAN: meta-interpretation and partial evaluation
- In Proceedings of International Workshop on Theory and Practice of Algebraic Specifications ASF+SDF 97, Amsterdam 1997.
Presentation of the built-in and defined strategy languages, description of the meta-interpretor of the defined strategy language, and techniques for partial evaluation of strategies.

- [12] P. Borovansky, C. Kirchner, H. Kirchner:
Strategies and rewriting in ELAN - In Proceedings of the CADE-14 workshop: Strategies in Automated Deduction, Townsville, Australia, 1997.
Presentation of the defined strategy languages, examples of strategies.

- [5] P. Borovansky, C. Kirchner, H. Kirchner:
Controlling Rewriting by Rewriting - In J. Meseguer, editors. Proceedings of the first international workshop on rewriting logic. Asilomar 1996.
A rewrite based presentation of the strategy language and evaluation in ELAN.

- [9] H. Kirchner, P.E. Moreau:
A reflective extension of ELAN - In J. Meseguer, editors. Proceedings of the first international workshop on rewriting logic. Asilomar 1996.
Shows how and why ELAN is reflective.

- [4] P. Borovansky, C. Kirchner, H. Kirchner, P.E. Moreau, M. Vittek:
ELAN: A logical framework based on computational systems - In J. Meseguer, editors. Proceedings of the first international workshop on rewriting logic. Asilomar 1996.
A general presentation of ELAN.

- [2] C. Kirchner, H. Kirchner, M.Vittek:
Designing CLP using Computational Systems, - In P. Van Hentenryck and S. Saraswat, editors, Principles and Practice of Constraint Programming. The MIT press, 1995,
The revised version of "Implementing computational systems with constraints".

- [3] M. Vittek:
ELAN: Un cadre logique pour le prototypage de langages de programmation avec contraintes - Thèse en informatique, Université de Nancy I, November 1994
In French: Marian's thesis on the design and implementation of ELAN (v1.15).

- [1] C. Kirchner, H. Kirchner, M.Vittek:
Implementing computational systems with constraints - In Paris Kanellakis, Jean-Louis Lassez, and Vijay Saraswat, editors, Proceedings of the first Workshop on Principles and Practice of Constraint Programming, Providence (R.I., USA), pages 166--175. Brown University, 1993.
The first presentation of the notion of computational system and of its interest, in particular for the CLP community.