Tyrolean Complexity Tool

Das Tyrolean Complexity Tool (kurz TcT) ist ein vollautomatisches Werkzeug zur Ressourcenanalyse für (i) Term-Rewrite-Systeme erster Ordnung, (ii) Integer-Transition-Systeme, (iii) funktionale Programme höherer Ordnung und (iv) objektorientierte Bytecode-Programme.

Wie beim jährlichen Terminierungswettbewerb (TERMCOMP) und bei den FLOC Olympic Games 2014 wiederholt bestätigt wurde, ist TcT der leistungsfähigste Komplexitätsanalysator für Term-Rewrite-Systeme und Stand der Technik für funktionale Programme höherer Ordnung.

Web Interface

Wählen Sie Ihr Ziel

• Termersetzungssysteme
• Integer Transitionssysteme
• Höherstufige Funktionale Programme
• Objektorientierte Bytecodeprogramme

Versionen

 

TcT Version 3.3, veröffentlicht am 10.05.2019, ist die neueste Version unseres vollautomatischen Ressourcenanalyse-Tools. TcT implementiert ein Framework zur automatisierten Komplexitätsanalyse und unterstützt verschiedene formale Systeme und Programmiersprachen.

 

Die neueste Version ist eine Neuimplementierung des Komplexitäts-Frameworks, die sich auf Erweiterbarkeit und Automatisierung konzentriert. TcT ist offen in Bezug auf das zu untersuchende Komplexitätsproblem und die problemspezifischen Techniken. Außerdem bietet es eine ausdrucksstarke problemunabhängige Strategiesprache, die die Beweissuche erleichtert.

Download

 

TcT wird auf unserer Github-Seite gehostet. Es besteht aus mehreren Paketen. Wahrscheinlich wollen Sie eines von tct-its, tct-trs oder tct-hoca. Die Installationsverfahren und -anforderungen sind in der Datei README.md (die auf der jeweiligen Github-Projektseite angezeigt wird) enthalten. Die folgenden Module sind verfügbar:

TcT-Instanzen:

• tct-its: Automatisches Komplexitätsanalysewerkzeug für ganzzahlige Übergangssysteme
• tct-trs: Automatisches Komplexitätsanalysewerkzeug für Term-Rewrite-Systeme
• tct-hoca: Automatisches Komplexitätsanalysewerkzeug für Systeme höherer Ordnung
• tct-jbc: Automatisches Komplexitätsanalysewerkzeug für Jinja Bytecode

Andere Module:

• tct-core: Transformationsrahmen für die Komplexitätsanalyse
• tct-common: Gemeinsame Funktionalitäten für TcT
• jat: Transformation von Jinja Bytecode in Term-Rewrtite-Systeme
• hoca: Automatisches Komplexitätsanalysewerkzeug für Systeme höherer Ordnung
• term-rewriting-applicative: Anwendungen für die Term-Rewriting-Bibliothek
• slogic: Eine s(imple)logische Bibliothek mit Schnittstellen zu externen Solvern
• term-rewriting-xml: XML-Parser für die Term-Rewriting-Bibliothek

Lizenz

Die Veröffentlichungen sind unter BSD3 lizenziert. Siehe http://directory.fsf.org/wiki/License:BSD_3Clause für weitere Informationen über BSD3.

Alte Versionen

Die alten Versionen von TcT sind noch in unserem Archiv verfügbar.

Kontakt

 

TcT wird von Mitgliedern der Gruppe Theoretische Informatik entwickelt.