Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)

Armin Walch, Georg Moser, Berry Schoenmakers +1

We study the fully automated amortised analysis of purely functional data structures like skew heaps, as well as weight- and rank-biased leftist heaps. For that we generalise earli…