ELAN from a rewriting logic point of view - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Theoretical Computer Science Year : 2002

ELAN from a rewriting logic point of view


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.

Dates and versions

inria-00100974 , version 1 (26-09-2006)



Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from a rewriting logic point of view. Theoretical Computer Science, 2002, 285 (2), pp.155-185. ⟨10.1016/S0304-3975(01)00358-9⟩. ⟨inria-00100974⟩
66 View
0 Download



Gmail Facebook Twitter LinkedIn More