Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
Authors: Lorenz Leutgeb, Georg Moser and Florian Zuleger
Paper Information
| Title: | Automated Expected Amortised Cost Analysis of Probabilistic Data Structures |
| Authors: | Lorenz Leutgeb, Georg Moser and Florian Zuleger |
| Proceedings: | CAV 2022 All Papers |
| Editors: | Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan |
| Keywords: | amortised cost analysis, functional programming, self-adjusting data structures, automation, constraint solving, probabilistic programming |
| Pages: | 21 |
| Talk: | Aug 08 17:00 (Session 98A: Probabilistic Techniques) |
| Paper: |  |