[Termination tools] web-interface for termination tools

[Aart Middeldorp]

H. Zantema wrote:

> To achieve direct access for the outside world to our termination tools
> it would be convenient to have a web-interface where every one can
> enter a TRS or SRS or program and directly apply any of our tools on it.
> 
> I discussed this some time ago with Claude, and the bottleneck seemed
> to be the permanent availability of a powerful machine.
> 
> Now the Aachen people have permanent availability of a powerful machine
> with 4 parallel processors, and are willing to use it for this goal and
> offer the above facility. The AProVE facility for this already works 
> fine, see http://aprove.informatik.rwth-aachen.de/, click on Web Interface.
> 
> I think it is a good idea to extend this facility to all of the other tools,
> and propose that all tool authors send an agreement by email to this
> termtools list that the competition version of their tool may be used for 
> this goal.
> 
> Let me be the first one: I should like TORPA to be included in this
> project.

TTT already runs on a dedicated machine with a convenient web interface:

http://cl2-informatik.uibk.ac.at/ttt/

I don't see any point in embedding the competition version of TTT (which
isn't designed to produce nice output) in the AProVE facility.

-- Aart