Tyrolean Complexity Tool: Features and Usage.

DOI10.4230/LIPIcs.RTA.2013.71zbMath1356.68093OpenAlexW2278369388MaRDI QIDQ2958375

Georg Moser, Martin Avanzini

Publication date: 1 February 2017

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2013/4054/

zbMATH Keywords

program analysisterm rewritingcomplexity analysisautomation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

A combination framework for complexity ⋮ Unnamed Item ⋮ From Jinja bytecode to term rewriting: a complexity reflecting transformation ⋮ A new order-theoretic characterisation of the polytime computable functions

Uses Software

• TCT

This page was built for publication: Tyrolean Complexity Tool: Features and Usage.