ELAN from a rewriting logic point of view

Peter Borovansky 1 Claude Kirchner 1 Hélène Kirchner 1 Pierre-Etienne Moreau 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : ELAN implements computational systems, a concept that combines two first class entities: rewrite rules and rewriting strategies. ELAN can be used either as a logical framework or to describe and execute deterministic as well as non-deterministic rule based processes. With the general goal to make precise a rewriting logic based semantics of ELAN, this paper has three contributions: a presentation of the concepts of rules and strategies available in ELAN, an expression of rewrite rules with matching conditions in conditional rewriting logic, and finally an enrichment mechanism of a rewrite theory into a strategy theory in conditional rewriting logic.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2002, 285 (2), pp.155-185
Liste complète des métadonnées

Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:15
Dernière modification le : jeudi 17 mai 2018 - 12:52:03


  • HAL Id : inria-00100974, version 1



Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from a rewriting logic point of view. Theoretical Computer Science, Elsevier, 2002, 285 (2), pp.155-185. 〈inria-00100974〉



Consultations de la notice