2026-07-22T14:20:25Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4054 2024-03-06T10:34:45Z ddc:004 open_access

Tyrolean Complexity Tool: Features and Usage Avanzini, Martin Moser, Georg program analysis term rewriting complexity analysis automation 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Martin Avanzini and Georg Moser 2013 Is Part Of LIPIcs, Volume 21, 24th International Conference on Rewriting Techniques and Applications (RTA 2013) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.RTA.2013.71 urn:nbn:de:0030-drops-40540 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.RTA.2013.71 eng https://creativecommons.org/licenses/by/3.0/legalcode