Home My Page Projects Tom
Summary Activity Tracker Lists Tasks Docs News SCM Files Mediawiki

Forum: Tom 2.3 is out !

Posted by: Antoine Reilles
Date: 2006-04-28 12:45
Summary: Tom 2.3 is out !
Project: Tom


This release continues our work on the integration of pattern matching and rule based programming facilities into C and Java.

Tom is a pattern matching compiler developed at INRIA. It is particularly well-suited for programming various transformations on trees/terms and XML based documents. Its design follows our research on the efficient compilation of rule based languages (e.g. ELAN, developed at INRIA-Loria).

Many applications have been developed in Tom. Among them, let us mention:
- the Tom compiler itself
- languages semantics, interpreters and program transformation tools
- a prover for the Calculus of Structures
- an interpreter for the Rho Calculus
- a disunification algorithm

Tom is a complex compiler which adds powerful constructs to C and Java: non linear syntactic matching, associative matching with neutral element (a.k.a. list-matching), XML based pattern matching, string matching, and equational rewriting.
This offers the possibility to analyze and transform any kind of
data-structure. Tom can be used for large scale developments and applications. It comes with documentation, programming, and debugging support.

This new release contains many improvements and new features:
- a new generator of abstract data types implementations (Gom) which supports hooks. In practice, this corresponds to private data types of Caml, which ensures that terms are maintained in canonical form

- a new %strategy construct which allows to easilly define strategies that can be combined using strategy primitives a la Stratego (All, One, Repeat, Choice, Innermost, Mu, etc.)

- a new %[...]% construct which helps to write cide generators (it is no longer necessary to encode special characters of strings)
Latest News

Tom 2.10 is out!

Jean-Christophe Bach - 2013-04-17 13:23 -

Tom-10-rc1 is out!

Jean-Christophe Bach - 2012-11-05 18:28 -

Tom version 2.8 is out!

Pierre-Etienne Moreau - 2011-02-23 14:25 -

Tom 2.7 is out!

Antoine Reilles - 2009-05-30 06:50 -

Tom version 2.7 is out!

Pierre-Etienne Moreau - 2009-05-26 10:09 -
Monitor Forum | Start New Thread Start New Thread