Sign in

On Probabilistic Termination of Functional Programs with Continuous Distributions

By Raven Beutner and Luke Ong
We study termination of higher-order probabilistic functional programs with recursion, stochastic conditioning and sampling from continuous distributions. Reasoning about the termination probability of programs with continuous distributions is hard, because the enumeration of terminating executions cannot provide any non-trivial bounds. We present a new operational semantics based on traces of... Show more
April 11, 2021
=
0
Loading PDF…
Loading full text...
Similar articles
Loading recommendations...
=
0
x1
On Probabilistic Termination of Functional Programs with Continuous Distributions
Click on play to start listening