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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Theoretical computer science Ročník 285; číslo 2; s. 155 - 185
Hlavní autoři: Borovanský, Peter, Kirchner, Claude, Kirchner, Hélène, Moreau, Pierre-Etienne
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 28.08.2002
Elsevier
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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