Title
Pattern-Matching Compiler
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.
Year
DOI
Venue
2001
10.1016/S1571-0661(04)80926-5
Electronic Notes in Theoretical Computer Science
DocType
Volume
Issue
Journal
44
2
ISSN
Citations 
PageRank 
1571-0661
0
0.34
References 
Authors
8
3
Name
Order
Citations
PageRank
Pierre-etienne Moreau159840.40
Christophe Ringeissen265149.35
Marian Vittek316513.39