TcT: Tyrolean Complexity Tool
Abstract elided by the publisher.
Related papers
- TReX: A Tool for Reachability Analysis of Complex Systems CAV 2001
- The Termination and Complexity Competition TACAS 2019
- Regrowing a language: refactoring tools allow programming languages to evolve OOPSLA 2009
- Dynascope: A Tool for Program Directing PLDI 1992
- KoAT: Automatic Complexity and Termination Analysis of Integer Programs CAV 2026
- The principles and practice of probabilistic programming POPL 2013
- Answering Temporal Conjunctive Queries over Description Logic Ontologies for Situation Recognition in Complex Operational Domains TACAS 2024
- A concurrency-agnostic protocol for multi-paradigm concurrent debugging tools DLS 2017