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 pr...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science Vol. 285; no. 2; pp. 155 - 185
Main Authors: Borovanský, Peter, Kirchner, Claude, Kirchner, Hélène, Moreau, Pierre-Etienne
Format: Journal Article
Language:English
Published: Elsevier B.V 28.08.2002
Elsevier
Subjects:
Computational system
Computer Science
Conditional rewriting logic
Other
Rewriting calculus
Rule-based programming
Strategy theory
Rule-based programming
Rewriting calculus
Computational system
Conditional rewriting logic
Strategy theory
théorie de stratégies
programmation par règles
logique de réécriture conditionnelle
systèmes de calcul
computational systems
rewriting calculus
calcul de réécriture
rule-based programming
conditional rewriting logic
strategy theory
ISSN:0304-3975, 1879-2294
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0304-3975
1879-2294
DOI:10.1016/S0304-3975(01)00358-9