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

Mark G. J. Van den Brand 1 Pierre-Etienne Moreau 1 Christophe Ringeissen 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
Workshop on Language Descriptions, Tools and Applications - LDTA'02, Apr 2002, Grenoble, France, 65/3 (3), 7 p, 2002, Electronic Notes in Theoretical Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00101028
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:55
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57

Identifiants

  • HAL Id : inria-00101028, version 1

Collections

Citation

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, 65/3 (3), 7 p, 2002, Electronic Notes in Theoretical Computer Science. 〈inria-00101028〉

Partager

Métriques

Consultations de la notice

59