Publication
FOCS 1979
Conference paper

Semantics of probabilistic programs

View publication

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.

Date

Publication

FOCS 1979

Authors

Topics

Share