Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00098507
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Monday, September 25, 2006 - 5:02:56 PM
Last modification on : Friday, February 4, 2022 - 3:29:55 AM

Identifiers

  • HAL Id : inria-00098507, version 1

Collections

INRIA | CNRS | LORIA | UNIV-LORRAINE | INRIA2

Citation

Peter Borovansky, Salma Jamoussi, Pierre-Etienne Moreau, Christophe Ringeissen. Handling ELAN Rewrite Programs via an Exchange Format. Second Workshop on Rewriting Logic & its Applications - WRLA'98, 1998, Pont-à-Moussson, France, 18 p. ⟨inria-00098507⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

52

 

Contact                    Legal Notice                    Personal Data