TcT: Tyrolean Complexity Tool
Résumé
In this paper we present TcT v3.0, the latest version of our fully automated complexity analyser.
TcT implements our framework for automated complexity analysis and
focuses on extensibility and automation. TcT is open with respect to the
input problem under investigation and the resource metric in question.
It is the most powerful tool in the realm of automated complexity analysis
of term rewrite systems.
Moreover it provides an expressive problem-independent strategy language
that facilitates proof search.
We give insights about design choices, the implementation of the framework and
report different case studies where we have applied TcT successfully.
Domaines
Complexité [cs.CC]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...