×

Semantics of probabilistic programming: a gentle introduction. (English) Zbl 07311041

Barthe, Gilles (ed.) et al., Foundations of probabilistic programming. Cambridge: Cambridge University Press. 1-42 (2021).
Summary: Reasoning about probabilistic programs is hard because it compounds the difficulty of classic program analysis with sometimes subtle questions of probability theory. Having precise mathematical models, or semantics, describing their behaviour is therefore particularly important. In this chapter, we review two probabilistic semantics. First, an operational semantics which models the local, step-by-step, behaviour of programs, then a denotational semantics describing global behaviour as an operator transforming probability distributions over memory states.
For the entire collection see [Zbl 1458.68003].

MSC:

68N01 General topics in the theory of software
PDFBibTeX XMLCite
Full Text: DOI