ATLAS: automated amortised complexity analysis of self-adjusting data structures
From MaRDI portal
Publication:832253
DOI10.1007/978-3-030-81688-9_5zbMath1493.68129MaRDI QIDQ832253
Georg Moser, Florian Zuleger, Lorenz Leutgeb
Publication date: 25 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-81688-9_5
functional programming; constraint solving; automation; self-adjusting data structures; amortised cost analysis
Uses Software