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

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

Contributor : Emilie Balland Connect in order to contact the contributor
Submitted on : Wednesday, February 7, 2007 - 5:18:02 PM
Last modification on : Friday, February 4, 2022 - 3:31:27 AM
Long-term archiving on: : Friday, September 21, 2012 - 11:13:17 AM


Files produced by the author(s)


  • HAL Id : inria-00129515, version 1



Emilie Balland, Paul Brauner. Term-graph rewriting in Tom using relative positions. 4th International Workshop on Computing with Terms and Graphs, Mar 2007, Braga, Portugal. pp.3-17. ⟨inria-00129515⟩



Record views


Files downloads