[Termination tools] new match bound tool

H. Zantema hzantema at win.tue.nl
Wed Mar 30 14:44:26 CEST 2005


**********************************************************
*                                                        *
*       NEWS about the termination competition           *
*                                                        *
**********************************************************

A student of Johannes Waldmann has developed a new tool in JAVA 
called Jambox for proving termination of string rewriting using
match bounds, improving the techniques as they have been implemented 
in Matchbox.

Although the first deadline for the competition already has been 
passed, Claude and I decided that Jambox may participate in the 
competition. 

Originally Johannes proposed to withdraw Matchbox for the SRS category
by which Jambox could take over its place, but we prefer that both
Matchbox and Jambox will participate. A main goal of the competition
is that from the result pages various tools can be compared, and we
do not want to miss the opportunity to compare Matchbox and Jambox.

So now the  8  participants are:

AProVE
CiME
Jambox
Matchbox
TEPARLA
TORPA
TPA
TTT

We want to stress that the deadline for the final version (Friday, April 8)
is strict: if you do not submit a final version by then, then the earlier
submitted version will be used.

In case you submit a final version improving the first version, I suggest
that you specify the improvement by mentioning a system in the new TPDB
that can be solved by your new version and not by your old version.
In this way Claude can easily test whether he is really running the 
newest version.


		Best regards, Hans Zantema.

+--------------------------------------+-----------------------------+
|                                      |                             |
|   Dr Hans Zantema                    |   Hoofdgebouw   kamer 6.73  |
|   Faculteit Wiskunde en Informatica  |   tel (040)2472749          |
|   Technische Universiteit Eindhoven  |   fax (040)2468508          |
|   Postbus 513     5600 MB Eindhoven  |   e-mail  H.Zantema at tue.nl  |
|   The Netherlands                    |   www.win.tue.nl/~hzantema  |
|                                      |                             |
+--------------------------------------+-----------------------------+



More information about the Termtools mailing list