Abstract. Two complementary but equivalent semantic interpretations of a high level probabilistic programming language are given. One of these interprets programs as partial measurable functions on a measurable space. The other interprets programs as continuous linear operators on a Banach space of measures. It is shown how the ordered domains of Scott and others are embedded naturally into these spaces. Two general results about probabilistic programs are proved.
Relating several semantics of probabilistic programs is not new. REF provided an interpretation in terms of functions on measurable spaces and as operators on a Banach space of measures and showed their correspondence.
Semantics of probabilistic programs
20th Annual Symposium on Foundations of Computer Science (sfcs 1979)
20th Annual Symposium on Foundations of Computer Science (sfcs 1979)
Mathematics Computer Science