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!

Be the first to leave a comment!