ELAN from a rewriting logic point of view

https://doi.org/10.1016/S0304-3975(01)00358-9Get rights and content
Under an Elsevier user license
open archive

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.

Keywords

Computational system
Conditional rewriting logic
Strategy theory
Rule-based programming
Rewriting calculus

Cited by (0)

This work has been partially supported by the Esprit Basic Research Working Group 22457, Construction of Computational Logics II.