TcT: Tyrolean Complexity Tool
| Contribuinte(s) |
Institute of Computer Science, University of Innsbruck Foundations of Component-based Ubiquitous Systems (FOCUS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria) - Institut National de Recherche en Informatique et en Automatique (Inria) - Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI) ; Università di Bologna [Bologna] (UNIBO) - Università di Bologna [Bologna] (UNIBO) Marsha Chechik Jean-François Raskin |
|---|---|
| Cobertura |
Eindhoven, Netherlands |
| Data(s) |
02/04/2016
|
| Resumo |
International audience 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. |
| Identificador |
hal-01392188 https://hal.inria.fr/hal-01392188 https://hal.inria.fr/hal-01392188/document https://hal.inria.fr/hal-01392188/file/paper.pdf DOI : 10.1007/978-3-662-49674-9_24 |
| Idioma(s) |
en |
| Publicador |
HAL CCSD Springer |
| Relação |
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-662-49674-9_24 |
| Fonte |
TACAS 2016 - 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems https://hal.inria.fr/hal-01392188 Marsha Chechik ; Jean-François Raskin. TACAS 2016 - 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2016, Eindhoven, Netherlands. Springer, 9636, pp.407 - 423, 2016, Lecture Notes in Computer Science. <10.1007/978-3-662-49674-9_24> |
| Palavras-Chave | #Complexity analysis #Term rewrite system #[INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC] |
| Tipo |
info:eu-repo/semantics/conferenceObject Conference papers |
