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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Theoretical computer science Jg. 285; H. 2; S. 155 - 185
Hauptverfasser:	Borovanský, Peter, Kirchner, Claude, Kirchner, Hélène, Moreau, Pierre-Etienne
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 28.08.2002 Elsevier
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!