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.

Mots clés

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

Domaines

Autre [cs.OH]

Publications Loria : Connectez-vous pour contacter le contributeur

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

Soumis le : lundi 25 septembre 2006-17:03:05

Dernière modification le : jeudi 15 février 2024-03:31:15

Dates et versions

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

Identifiants

HAL Id : inria-00098518 , version 1

Citer

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⟩

Exporter

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

117 Consultations

0 Téléchargements