ELAN from the rewriting logic point of view - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 1999

ELAN from the rewriting logic point of view


\elan\ implements computational systems, a concept that combines rewriting logic with the powerful description of 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 the semantics of \elan, this paper has four 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, an enrichment mechanism of a rewrite theory into a strategy theory in conditional rewriting logic, and eventually a description in conditional rewriting logic of the rules and strategies application mechanism in ELAN.
Fichier principal
Vignette du fichier
99-R-284.pdf (391.47 Ko) Télécharger le fichier

Dates and versions

inria-00107841 , version 1 (19-10-2006)


  • HAL Id : inria-00107841 , version 1


Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from the rewriting logic point of view. [Intern report] 99-R-284 || borovansky99b, 1999, 39 p. ⟨inria-00107841⟩
135 View
142 Download


Gmail Facebook Twitter LinkedIn More