Publications

From Tom

This is a bibliography on the Tom language and its applications.

Basic References

• Emilie Balland, Paul Brauner, Radu Kopetz, Pierre-Etienne Moreau, and Antoine Reilles. Tom: Piggybacking rewriting on java.
  In RTA 2007, Paris, 2007.
• 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.

Full Bibliography

• Horatiu Cirstea, Claude Kirchner, Radu Kopetz, and Pierre-Etienne Moreau. Anti-Patterns For Rule-Based Languages.
  Journal of Symbolic Computation, 2010.
• Horatiu Cirstea, Pierre-Etienne Moreau, and Antoine Reilles. TomML: A Rule Language For Structured Data.
  In the International RuleML Symposium on Rule Interchange and Applications, Las-Vegas (USA), 2009.
• Claude Kirchner, Pierre-Etienne Moreau, and Cláudia Tavares. A Type System for Tom.
  In Proceedings of The 10th International Workshop on Rule-Based Programming, Brasília (Brazil), 2009.
• Emilie Balland, Yohan Boichut, Thomas Genet and Pierre-Etienne Moreau. Towards an Efficient Implementation of Tree Automata Completion.
  In Proceedings of 12th International Conference on Algebraic Methodology and Software Technology, Urbana (USA), 2008.
• Emilie Balland and Pierre-Etienne Moreau. Term-graph rewriting via explicit paths.
  in Proceedings of the 19th Conference on Rewriting Techniques and Applications , Hagenberg (Austria), 2008.
• Radu Kopetz and Pierre-Etienne Moreau. Software Quality Improvement via Pattern Matching.
  in Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering, Budapest (Hungary), 2008.
• Claude Kirchner, Radu Kopetz, and Pierre-Etienne Moreau. Anti-Pattern Matching Modulo.
  in Proceedings of the 2nd International Conference on Language and Automata Theory and Applications, Tarragona (Spain), 2008.
• Emilie Balland, Paul Brauner. Term-graph rewriting in Tom using relative positions.
  In Termgraph 2007, Braga (Portugal), 2007.
• Emilie Balland, Pierre-Etienne Moreau, and Antoine Reilles. Bytecode Rewriting in Tom.
  In Bytecode 2007, Braga (Portugal), 2007.
• Claude Kirchner, Radu Kopetz, and Pierre-Etienne Moreau. Anti-Pattern Matching.
  In ESOP 2007, Braga (Portugal), 2007
• 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.
• Emilie Balland, Claude Kirchner and Pierre-Etienne Moreau. Formal Islands.
  In International Conference on Algebraic Methodology and Software Technology (AMAST 2006), Kuressaare (Estonia), 2006.
• Antoine Reilles. Canonical Abstract Syntax Trees.
  In Proceedings of the 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006), Vienna (Austria), 2006.
• 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.
• Ozan Kahramanogullari, Pierre-Etienne Moreau and Antoine Reilles. Implementing Deep Inference in TOM.
  In ICALP Workshop on Structures and Deduction, Lisboa (Portugal), 2005.
• 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.
• 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.
• 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.
• 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.