<div class="csl-bib-body">
<div class="csl-entry">Schernhammer, F., & Gramlich, B. (2009). VMTL–A Modular Termination Laboratory. In R. Treinen (Ed.), <i>Rewriting Techniques and Applications</i> (pp. 285–294). Springer. https://doi.org/10.1007/978-3-642-02348-4_20</div>
</div>
-
dc.identifier.isbn
9783642023477
-
dc.identifier.isbn
9783642023484
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/53060
-
dc.description.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.
en
dc.publisher
Springer
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
modularity
-
dc.subject
termination
-
dc.subject
term ewriting system
-
dc.subject
automated proof
-
dc.subject
dependency pair framework
-
dc.subject
extensibility
-
dc.title
VMTL–A Modular Termination Laboratory
-
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Rewriting Techniques and Applications
-
dc.relation.isbn
978-3-642-02347-7
-
dc.relation.doi
10.1007/978-3-642-02348-4
-
dc.relation.issn
0302-9743
-
dc.description.startpage
285
-
dc.description.endpage
294
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
LNCS 5595
-
tuw.booktitle
Rewriting Techniques and Applications
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Berlin, Heidelberg
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.1007/978-3-642-02348-4_20
-
dc.description.numberOfPages
10
-
tuw.event.name
20th International Conference on Rewriting Techniques and Applications (RTA 2009)
