Fine-grained semantics for probabilistic programs

DOI10.1007/978-3-319-89884-1_6zbMath1418.68051OpenAlexW2797207385MaRDI QIDQ2323972

Martin Vechev, Benjamin Bichsel, Timon Gehr

Publication date: 13 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_6

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Continualization of Probabilistic Programs With Correction ⋮ A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Densities of almost surely terminating probabilistic programs are differentiable almost everywhere

This page was built for publication: Fine-grained semantics for probabilistic programs