Rewriting Strategies in Java

Emilie Balland 1 Pierre-Etienne Moreau 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 : In any language designed to express transformations, the notion of rewrite rule is a key feature. Its conciseness as well as its strong theoretical foundations are essential. The notion of strategy is complementary: this describes how rules are applied. In this paper, we show how a high-level strategy language can be implemented in a Java setting. We present the integration of the visitor combinator design pattern into Tom. This corresponds to an interpreter for strategy expressions. To be more efficient, we present a compilation method based on bytecode specialization. This low-level transformation is expressed in Tom itself, using rules and strategies.
Type de document :
Communication dans un congrès
The Eighth International Workshop on Rule-Based Programming - RBP'07, Jun 2007, Paris, France. 2007, ENTCS
Liste complète des métadonnées


https://hal.inria.fr/inria-00274919
Contributeur : Emilie Balland <>
Soumis le : lundi 21 avril 2008 - 18:39:48
Dernière modification le : mardi 25 octobre 2016 - 16:57:40
Document(s) archivé(s) le : vendredi 28 septembre 2012 - 12:55:23

Fichier

final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00274919, version 1

Collections

Citation

Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles. Rewriting Strategies in Java. The Eighth International Workshop on Rule-Based Programming - RBP'07, Jun 2007, Paris, France. 2007, ENTCS. <inria-00274919>

Partager

Métriques

Consultations de
la notice

188

Téléchargements du document

112