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.
Type de document :
Communication dans un congrès
Workshop on Rewriting Techniques and Applications, Apr 2006, Vienna /Austria, 2006
Liste complète des métadonnées

Littérature citée [4 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00096026
Contributeur : Germain Faure <>
Soumis le : lundi 18 septembre 2006 - 17:04:31
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58
Document(s) archivé(s) le : mardi 6 avril 2010 - 01:01:43

Fichier

Identifiants

  • 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, 2006. 〈inria-00096026〉

Partager

Métriques

Consultations de la notice

127

Téléchargements de fichiers

67