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.
Kontakt
ATLAS wir im Rahmen des FWF Projektes AUTOSARD von folgenden EntwicklerInnen weiterentwicklt