ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures

ATLAS provides a fully automated expected amortised cost analysis of self-adjusting data structures, that is, of randomised splay trees, randomised splay heaps, randomised meldable heaps and other sophisticated data structures (not necessarily randomised), which so far have only (semi-)manually been analysed in the literature.

Contact

ATLAS is being further developed within the FWF project AUTOSARD by the following developers

 

 

 

Nach oben scrollen