ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures.

Lorenz Leutgeb, Georg Moser, Florian Zuleger

Browse the full CAV paper archive.