Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
F. Schernhammer, B. Gramlich:
"VMTL - A Modular Termination Laboratory";
Vortrag: 20th International Conference on Rewriting Techniques and Applications (RTA 2009),
Brasilia, Brazil;
29.06.2009
- 02.07.2009; in: "Proc. 20th International Conference on Rewriting Techniques and Applications (RTA 2009)",
R. Treinen (Hrg.);
Springer,
LNCS 5595
(2009),
ISBN: 978-3-642-02347-7;
S. 285
- 294.
Kurzfassung englisch:
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.
Schlagworte:
term ewriting system, termination, automated proof, dependency pair framework, modularity, extensibility
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-02348-4
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.