An Overview of ELAN

This paper presents a comprehensive introduction to the ELAN rule-based programming language. We describe the main features of the language, the ELAN environment, and introduce bibliographic references to various papers addressing foundations, implementation and applications of ELAN.

Keywords

rewriting logic programmation avec règles et stratégies programming with rules and strategies logique de réécriture

Domains

Other [cs.OH]

Publications Loria : Connect in order to contact the contributor

https://inria.hal.science/inria-00098518

Submitted on : Monday, September 25, 2006-5:03:05 PM

Last modification on : Thursday, February 15, 2024-3:31:15 AM

Dates and versions

inria-00098518 , version 1 (25-09-2006)

Identifiers

HAL Id : inria-00098518 , version 1

Cite

Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen. An Overview of ELAN. Second Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p. ⟨inria-00098518⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA IRISA UNIV-LORRAINE INRIA2 LORIA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

100 View

0 Download