Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.RTA.2013.71
URN: urn:nbn:de:0030-drops-40540
URL: https://drops.dagstuhl.de/opus/volltexte/2013/4054/
Avanzini, Martin ; Moser, Georg
Tyrolean Complexity Tool: Features and Usage
| pdf-format: |
|
Abstract
The Tyrolean Complexity Tool, TCT for short, is an open source complexity analyser for term rewrite systems. Our tool TCT features a majority of the known techniques for the automated characterisation of polynomial complexity of rewrite systems and can investigate derivational and runtime complexity, for full and innermost rewriting. This system description outlines features and provides a short introduction to the usage of TCT.
BibTeX - Entry
@InProceedings{avanzini_et_al:LIPIcs:2013:4054,
author = {Martin Avanzini and Georg Moser},
title = {{Tyrolean Complexity Tool: Features and Usage}},
booktitle = {24th International Conference on Rewriting Techniques and Applications (RTA 2013)},
pages = {71--80},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-53-8},
ISSN = {1868-8969},
year = {2013},
volume = {21},
editor = {Femke van Raamsdonk},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2013/4054},
URN = {urn:nbn:de:0030-drops-40540},
doi = {10.4230/LIPIcs.RTA.2013.71},
annote = {Keywords: program analysis, term rewriting, complexity analysis, automation}
}
| Keywords: | program analysis, term rewriting, complexity analysis, automation | |
| Seminar: | 24th International Conference on Rewriting Techniques and Applications (RTA 2013) | |
| Issue date: | 2013 | |
| Date of publication: | 24.06.2013 |
