The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2002

The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology

Résumé

This paper describes the development of a new ELAN environment using ASF+SDF meta-environment component technology. The ELAN environment is an interactive environment for the construction of algebraic specifications. The architecture of this new ELAN environment is inspired by the architecture of the ASF+SDF meta-environment, which is an interactive development environment for the automatic generation of interactive systems for constructing language definitions and generating tools for them. The use of ASF+SDF meta environment component technology makes the ELAN environment more open, adaptable, and reusable.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

inria-00101028 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00101028 , version 1

Citer

Mark G. J. van den Brand, Pierre-Etienne Moreau, Christophe Ringeissen. The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology. Workshop on Language Descriptions, Tools and Applications - LDTA'02, Apr 2002, Grenoble, France, 7 p. ⟨inria-00101028⟩
67 Consultations
0 Téléchargements

Partager

More