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.

• Type: Journal
• Year: 2002
• Where: TCS
• Authors: Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
• Keywords: Conditional Rewriting Logic, Logic Based Semantics, Rewriting Logic, TCS 2002, Theoretical Computer Science