Handling ELAN Rewrite Programs via an Exchange Format

Peter Borovansky 1 Salma Jamoussi 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 : Designing a programming environment raises difficult implementation problems since such software is not just one piece of code able to execute programs expressed in a given programming language, but consists generally of several heterogeneous tools. The idea behind a data exchange format is to provide a common representation for the interconnection of these different tools. Moreover, an exchange format is a way to handle programs like any kind of objects in the programming language, and so it is useful for instance in the context of the reflection problem. In this paper, we report our experiments with the current exchange format created and used by the actual implementation of the rule-based programming language ELAN.
Mots-clés : Logique de Réécriture Data Exchange Format Rewriting Logic Format d'échange de données
Type de document :
Communication dans un congrès
Kirchner, Claude & Kirchner, Hélène. Second Workshop on Rewriting Logic & its Applications - WRLA'98, 1998, Pont-à-Moussson, France, Elsevier Science B. V., 15, 18 p, 1998, Electronic Notes in Theoretical Computer Science
Liste complète des métadonnées
https://hal.inria.fr/inria-00098507
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:02:56
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00098507, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Peter Borovansky, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen. Handling ELAN Rewrite Programs via an Exchange Format. Kirchner, Claude & Kirchner, Hélène. Second Workshop on Rewriting Logic & its Applications - WRLA'98, 1998, Pont-à-Moussson, France, Elsevier Science B. V., 15, 18 p, 1998, Electronic Notes in Theoretical Computer Science. 〈inria-00098507〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

114

Contact


archive-ouverte@inria.fr