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.
Document type :
Conference papers
Complete list of metadata
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


  • HAL Id : inria-00098507, version 1



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⟩



Record views