ELAN from the rewriting logic point of view - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 1999

ELAN from the rewriting logic point of view

Résumé

\elan\ implements computational systems, a concept that combines rewriting logic with the powerful description of 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 the semantics of \elan, this paper has four 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, an enrichment mechanism of a rewrite theory into a strategy theory in conditional rewriting logic, and eventually a description in conditional rewriting logic of the rules and strategies application mechanism in ELAN.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
99-R-284.pdf (391.47 Ko) Télécharger le fichier

Dates et versions

inria-00107841 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107841 , version 1

Citer

Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from the rewriting logic point of view. [Intern report] 99-R-284 || borovansky99b, 1999, 39 p. ⟨inria-00107841⟩
142 Consultations
157 Téléchargements

Partager

Gmail Facebook X LinkedIn More