A Calculus for Amortized Expected RuntimesOpen Website

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Lena Verscht

2023 (modified: 18 Feb 2023)Proc. ACM Program. Lang. 2023Readers: Everyone
0 Replies