A Pattern-Matching Compiler

Pierre-Etienne Moreau 1 Christophe Ringeissen 1 Marian Vittek
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Implementation of a rule-based transformation engine consists of several tasks with various abstraction levels. We present a new tool called MTOM for the efficient implementation of rule-based transformations. This engine should help to bridge the gap between rewriting implementations and practical applications. It aims at implementing well-identified parts of complex applications where the use of rewriting is natural or crucial. These parts are specified using rewrite rules and integrated with the rest of the application, which is kept in a classical imperative language such as C, C++ or Java. Our tool, which can be viewed as a YACC-like pre-processor, does not depend on a given term representation, rather it accepts implementation of terms (or term like data-types) of yet existing applications and it permits to define and execute rewrite rules upon those types. From our experiences, this system is well-suited for industrial use as well as for implementations of rule-based languages. The paper introduces several features supported by MTOM.
Type de document :
Communication dans un congrès
Mark van den Brand and Didier Parigot. First Workshop on Language Descriptions, Tools and Applications - LDTA'01, Apr 2001, Genova, Italy, Elsevier, 44-2, 14 p, 2001, Electronic Notes in Theoretical Computer Science
Liste complète des métadonnées

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

Identifiants

  • HAL Id : inria-00100437, version 1

Collections

Citation

Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek. A Pattern-Matching Compiler. Mark van den Brand and Didier Parigot. First Workshop on Language Descriptions, Tools and Applications - LDTA'01, Apr 2001, Genova, Italy, Elsevier, 44-2, 14 p, 2001, Electronic Notes in Theoretical Computer Science. 〈inria-00100437〉

Partager

Métriques

Consultations de la notice

212