Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
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…
cs.PL2026
Automated Expected Cost Analysis for Quantum Programs
Georg Moser, Michael Schaper
In recent years, quantum computing has gained a substantial amount of momentum, and the capabilities of quantum devices are continually expanding and improving. Nevertheless, writi…