Reasoning about Recursive Probabilistic Programs - Olmedo, Federico; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016)
Keywords: Theory of computation -- Logic; Theory of computation -- Semantics and reasoning; Theory of computation -- Semantics and reasoning -- Program reasoning; expected runtime; probabilisitic programming; program verification; weakest pre--condition calculus; recursion