HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Tom llustrated on an implementation of the explicit rewriting calculus

Germain Faure 1 Antoine Reilles 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Following the experience of Elan, the Tom language was devel- oped to provide rewrite tools for implementation of calculi, for compilation and for XML-transformations. We will focus here on the former. Tom provides a language to define a syntax (a signature) embedded into Java. Then, we can perform pattern matching with support of associative matching modulo neutral element (also known as list-matching). Finally, we can guide the application of rules with a strategy language defining term traversals (namely evaluation/rewriting strategies). The originality of Tom is the combination of formal aspects with a general purpose language (such as Java). This combination leads to an agile language. At the same time, the strategy language inspired by Elan and Stratego gives the opportunity to reduce the code written in the general purpose language (and thus increase the formal parts). We will illustrate the presentation by an implementation of the explicit rewriting calculus, introduced at the last WRLA. This running example will demonstrate the adequacy of Tom for such a development, offered by the integration in a general purpose language and by the strategy language.
Document type :
Conference papers
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/inria-00096026
Contributor : Germain Faure Connect in order to contact the contributor
Submitted on : Monday, September 18, 2006 - 5:04:31 PM
Last modification on : Friday, February 4, 2022 - 3:31:28 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 1:01:43 AM

Identifiers

  • HAL Id : inria-00096026, version 1

Collections

Citation

Germain Faure, Antoine Reilles. Tom llustrated on an implementation of the explicit rewriting calculus. Workshop on Rewriting Techniques and Applications, Apr 2006, Vienna /Austria. ⟨inria-00096026⟩

Share

Metrics

Record views

66

Files downloads

43