Term-graph rewriting in Tom using relative positions

Emilie Balland 1 Paul Brauner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern matching and traversal controls to Java, Tom is a well-suited environment for defining program transformations or analyses. As some analyses, e.g. based on control flow, require graph-like structures, the use of this formalism is a natural way of expressing them by graph rewriting.
Type de document :
Communication dans un congrès
Ian Mackie. 4th International Workshop on Computing with Terms and Graphs, Mar 2007, Braga, Portugal. Elsevier, 203, pp.3-17, 2008, Electronic Notes in Theoretical Computer Science
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00129515
Contributeur : Emilie Balland <>
Soumis le : mercredi 7 février 2007 - 17:18:02
Dernière modification le : mardi 25 octobre 2016 - 17:02:37
Document(s) archivé(s) le : vendredi 21 septembre 2012 - 11:13:17

Fichier

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

Identifiants

  • HAL Id : inria-00129515, version 1

Collections

Citation

Emilie Balland, Paul Brauner. Term-graph rewriting in Tom using relative positions. Ian Mackie. 4th International Workshop on Computing with Terms and Graphs, Mar 2007, Braga, Portugal. Elsevier, 203, pp.3-17, 2008, Electronic Notes in Theoretical Computer Science. 〈inria-00129515〉

Partager

Métriques

Consultations de la notice

210

Téléchargements de fichiers

134