Tyrolean Complexity Tool: Features and Usage.

DOI10.4230/LIPICS.RTA.2013.71zbMATH Open1356.68093OpenAlexW2278369388MaRDI QIDQ2958375FDOQ2958375

Authors: Martin Avanzini, Georg Moser 

Publication date: 1 February 2017

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

Recommendations

• Tyrolean termination tool: techniques and features
• Complexity analysis and its application
• New tools for state complexity
• scientific article; zbMATH DE number 1796145
• scientific article; zbMATH DE number 2087550
• Complexity of t-tautologies
• COMPLEXITY: METRICS AND MODULES
• Automated higher-order complexity analysis

zbMATH Keywords

automationterm rewritingcomplexity analysisprogram analysis

Mathematics Subject Classification ID

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

Cited In (4)

• A combination framework for complexity
• Complexity of conditional term rewriting
• 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.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2958375)