Alpha: Ein Werkzeug zur Alpha-Vermeidung
Das Alpha-Vermeidungstool bietet eine automatisierte Überprüfung der Alpha-Vermeidung in typisierten und untypisierten Lambda-Begriffen. Es basiert auf der Erkennung von Alpha-Pfaden, einer neuartigen Methode zur vollständigen Bestimmung, ob Alpha-Konvertierungen für Beta-Reduktionen wesentlich sind oder nicht.
ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures
ATLAS bietet eine vollautomatische Analyse der erwarteten amortisierten Kosten von selbstanpassenden Datenstrukturen, d.h. von randomisierten Splay Trees, randomisierten Splay Heaps, randomisierten meldable Heaps und anderen anspruchsvollen Datenstrukturen (nicht notwendigerweise randomisiert), die bisher in der Literatur nur (halb)manuell analysiert wurden.
Eco-imp and Ev-imp
Eco-imp führt eine Erwartungswertanalyse für einfache imperative Programme im Stil von Dijkstras Guarded Command Language mit probabilistischen Sampling-Anweisungen durch, während ev-imp eine vollautomatische Erwartungswertanalyse ähnlicher nicht-deterministischer, probabilistischer imperativer Programme bietet.
TcT
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.
Tradutur Ladin
Webtool zur maschinellen Übersetzung von Ladinisch (Val Badia). Dieses Tool bietet Ihnen die Möglichkeit, die neueste Version des Übersetzungstools zu testen und die Ergebnisse der laufenden Forschung zu erfahren.