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

Forum: Tom version 2.8 is out!

Posted by: Pierre-Etienne Moreau
Date: 2011-02-23 14:25
Summary: Tom version 2.8 is out!
Project: Tom


Tom 2.8 announcement

It is our great privilege and pleasure to announce the availability of
Tom version 2.8.

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

Tom is a pattern matching compiler developed at LORIA-INPL and INRIA.
It is particularly well-suited for programming various transformations
on trees/terms and XML based documents. Its design follows our research
on the semantics and the efficient compilation of rule based languages.

Many applications have been developed in Tom, both in academia and
industry. Among them, let us mention:
- the Tom compiler itself
- languages semantics, interpreters and program transformation tools
- a generator of canonical abstract syntax trees (Gom)
- a proof assistant for supernatural deduction
- a compiler algorithm for anti-pattern matching and disunification
- model transformations using EMF

Tom is a complex compiler which adds powerful constructs to Java and C:
rewrite rules, strategies, 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 a detailed documentation, as well as with
programming and debugging support.

This new release contains many improvements and new features:

- the internal organization of the compiler has been improved, leading
to a safer and more efficient code.

- the compiler integrates new algorithms to support for AC
(Associative-Commutative) matching. The development is not yet
finished but this new feature can be used of experiments

- the compiler integrates a new type-inference engine that will allow
us to support soon subtypes

- the system integrates a new tool to connect Tom with EMF (Eclipse
Modelling Framework). Combined with subtyping, transformations will
be easier to describe.

Tom is available, in open source (GPL/BSD License), from the web page:


Best regards,
Tom's development team
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