TcT: Tyrolean Complexity Tool - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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.
Fichier principal
Vignette du fichier
paper.pdf (577.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01392188 , version 1 (04-11-2016)

Identifiants

Citer

Martin Avanzini, Georg Moser, Michael Schaper. TcT: Tyrolean Complexity Tool. Proceedings of 22nd TACAS, Apr 2016, Eindhoven, Netherlands. pp.407-423, ⟨10.1007/978-3-662-49674-9_24⟩. ⟨hal-01392188⟩
205 Consultations
163 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More