Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Tyrolean Termination Tool 2

Martin Korp17, Christian Sternagel17, Harald Zankl17 and Aart Middeldorp17

(17)  Institute of Computer Science, University of Innsbruck, Email: ttt2@informatik.uibk.ac.at, 6020 Innsbruck, Austria
Abstract
This paper describes the second edition of the Tyrolean Termination Tool—a fully automatic termination analyzer for first-order term rewrite systems. The main features of this tool are its (non-)termination proving power, its speed, its flexibility due to a strategy language, and the fact that the source code of the whole project is freely available. The clean design together with a stand-alone OCaml library for term rewriting, make it a perfect starting point for other tools concerned with rewriting as well as experimental implementations of new termination methods.

Keywords  term rewriting - termination - automation

This research is supported by FWF (Austrian Science Fund) project P18763.

Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.110 • Server: mpweb20
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)