Tom documentation

Tom language reference manual

is available in html , html (single page), and pdf formats.

runtime library in javadoc

Documentation of the development version (unstable)

guided tour in html

reference manual in html format.

runtime library in javadoc

Academic Publications

Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, and Antoine Reilles. Tom: Piggybacking rewriting on java.
In RTA 2007, Paris, 2007. [bib]

Emilie Balland, Paul Brauner. Term-graph rewriting in Tom using relative positions.
In Termgraph 2007, Braga (Portugal), 2007. [bib]

Emilie Balland, Pierre-Etienne Moreau, and Antoine Reilles. Bytecode Rewriting in Tom.
In Bytecode 2007, Braga (Portugal), 2007. [bib]

Claude Kirchner, Radu Kopetz, and Pierre-Etienne Moreau. Anti-Pattern Matching.
In ESOP 2007, Braga (Portugal), 2007. [bib]

Emilie Balland and Pierre-Etienne Moreau. Optimizing Pattern Matching Compilation By Program Transformation.
In Workshop on Software Evolution through Transformations (SeTra 2006), Natal (Brazil), 2006. [bib]

Emilie Balland, Claude Kirchner and Pierre-Etienne Moreau. Formal Islands.
In International Conference on Algebraic Methodology and Software Technology (AMAST 2006), Kuressaare (Estonia), 2006. [bib]

Antoine Reilles. Canonical Abstract Syntax Trees.
In Proceedings of the 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006), Vienna (Austria), 2006. [bib]

Claude Kirchner, Pierre-Etienne Moreau and Antoine Reilles. Formal Validation of Pattern Matching Code.
In Principles and Practice of Declarative Programming, Lisboa (Portugal), ACM. 2005. [bib]

Ozan Kahramanogullari, Pierre-Etienne Moreau and Antoine Reilles. Implementing Deep Inference in TOM.
In ICALP Workshop on Structures and Deduction, Lisboa (Portugal), 2005. [bib]

Mark G. J. van den Brand, Pierre-Etienne Moreau and Jurgen Vinju. Generator of efficient strongly typed abstract syntax trees in Java.
IEE Proceedings - Software Engineering, 2004. [bib]

Julien Guyon, Pierre-Etienne Moreau and Antoine Reilles. An Integrated Development Environment for Pattern Matching Programming.
In Brian Barry and Oege de Moor, editor, 2nd eclipse Technology eXchange workshop, Barcelona (Spain), ENTCS. April 2004. [bib]

Horatiu Cirstea, Pierre-Etienne Moreau and Antoine Reilles. Rule based programming in Java for protocol verification.
In Narcisso Marti-Oliet, editor, 5th International Workshop on Rewriting Logic and its Applications, Barcelona (Spain), ENTCS. April 2004. [bib]

Pierre-Etienne Moreau, Christophe Ringeissen and Marian Vittek. A Pattern Matching Compiler for Multiple Target Languages.
In G. Hedin, editor, 12th Conference on Compiler Construction, Warsaw (Poland), volume 2622 of LNCS, pages 61-76. Springer-Verlag, May 2003. [bib]

Pierre-Etienne Moreau, Christophe Ringeissen and Marian Vittek. A Pattern Matching Compiler.
In D. Parigot and M. G. J. van den Brand, editors, 1st International Workshop on Language Descriptions, Tools and Applications , Genova (Italy), volume 44 of ENTCS. April 2001. [bib]