Fine-grained semantics for probabilistic programs

DOI10.1007/978-3-319-89884-1_6MaRDI QIDQ2323972zbMATHOpenAlexFDO

Authors Benjamin Bichsel, Timon Gehr, Martin Vechev

Publication date 13 September 2019

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

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

Recommendations

• Semantics of the probabilistic typed lambda calculus. Markov chain semantics, termination behavior, and denotational semantics
• Probabilistic programming: a true verification challenge
• Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
• scientific article; zbMATH DE number 1104373
• Understanding probabilistic programs

Cited in

(15)

• Densities of almost surely terminating probabilistic programs are differentiable almost everywhere
• Refinement algebra for probabilistic programs
• A denotational semantics for low-level probabilistic programs with nondeterminism
• Modelling contextuality by probabilistic programs with hypergraph semantics
• scientific article; zbMATH DE number 1692951 (Why is no real title available?)
• PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control
• Continualization of probabilistic programs with correction
• Reasoning about Recursive Probabilistic Programs
• Probabilistic programming: a true verification challenge
• Formalising Semantics for Expected Running Time of Probabilistic Programs
• Program equivalence in a typed probabilistic call-by-need functional language
• Reasoning about probabilistic sequential programs
• Probabilistic programming inference via intensional semantics
• scientific article; zbMATH DE number 1617330 (Why is no real title available?)
• scientific article; zbMATH DE number 4076588 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2323972)