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!

Buďte první, kdo okomentuje tento záznam!