Term-graph rewriting in Tom using relative positions

Emilie Balland; Paul Brauner

inria-00129515, version 1

Term-graph rewriting in Tom using relative positions

Emilie Balland () ¹, Paul Brauner () ¹

4th International Workshop on Computing with Terms and Graphs 203 (2007) 3-17

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.

1: PROTHEO (INRIA Lorraine - LORIA)
INRIA – CNRS : UMR7503 – Université Henri Poincaré - Nancy I – Université Nancy II – Institut National Polytechnique de Lorraine (INPL)

inria-00129515, version 1
http://hal.inria.fr/inria-00129515
oai:hal.inria.fr:inria-00129515
From: Emilie Balland <>
Submitted on: Wednesday, 7 February 2007 17:18:02
Updated on: Friday, 6 May 2011 15:11:15

See detailed view

Associated documents

PDF :

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Peer-reviewed conferences/proceedings</head>
<biblStruct type="inproceedings" xml:id="inria-00129515"><analytic>
<author><persName><forename>Emilie</forename><surname>Balland</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">PROTHEO</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<author><persName><forename>Paul</forename><surname>Brauner</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lorraine - LORIA</orgName>
<orgName type="team">PROTHEO</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR7503</orgName>
<orgName type="institution">Université Henri Poincaré - Nancy I</orgName>
<orgName type="institution">Université Nancy II</orgName>
<orgName type="institution">Institut National Polytechnique de Lorraine (INPL)</orgName>
</affiliation>
</author>
<title type="main" level="a">Term-graph rewriting in Tom using relative positions</title></analytic><monogr><meeting>4th International Workshop on Computing with Terms and Graphs</meeting><imprint><publisher>Elsevier</publisher><pubPlace><settlement>Braga</settlement><country>Portugal</country></pubPlace><biblScope type="publicationDate">2008-00-00</biblScope><biblScope type="vol">203</biblScope><biblScope type="pp">3-17</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00129515</idno><idno type="HALFile">http://hal.inria.fr/inria-00129515/PDF/termgraph.pdf</idno></biblStruct>
</listBibl>
</listBibl>