Talks and Poster Presentations (with Proceedings-Entry):
F. Schernhammer, B. Gramlich:
"VMTL - A Modular Termination Laboratory";
Talk: 20th International Conference on Rewriting Techniques and Applications (RTA 2009),
Brasilia, Brazil;
2009-06-29
- 2009-07-02; in: "Proc. 20th International Conference on Rewriting Techniques and Applications (RTA 2009)",
R. Treinen (ed.);
Springer,
LNCS 5595
(2009),
ISBN: 978-3-642-02347-7;
285
- 294.
English abstract:
The automated analysis of termination of term rewriting systems (TRSs) has drawn a lot of attention in the scientific community during the last decades and many different methods and approaches have been developed for this purpose. We present VMTL (Vienna Modular Termination Laboratory), a tool implementing some of the most recent and powerful algorithms for termination analysis of TRSs, while providing an open interface that allows users to easily plug in new algorithms in a modular fashion according to the widely adopted dependency pair framework. Apart from modular extensibility, VMTL focuses on analyzing the termination behaviour of conditional term rewriting systems (CTRSs). Using one of the latest transformational techniques, the resulting restricted termination problems (for unconditional context-sensitive TRSs) are processed with dedicated algorithms.
Keywords:
term ewriting system, termination, automated proof, dependency pair framework, modularity, extensibility
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-02348-4
Created from the Publication Database of the Vienna University of Technology.