Tyrolean Complexity Tool: Features and Usage.

DOI10.4230/LIPICS.RTA.2013.71MaRDI QIDQ2958375zbMATH OpenOpenAlexFDO

Authors Martin Avanzini, Georg Moser

Publication date 1 February 2017

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

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)

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

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

Describes a project that uses

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)