Semantics of probabilistic programs |
| |
Authors: | Dexter Kozen |
| |
Affiliation: | IBM Thomas J. Watson Research Center, Yorktown Heights, New York 10598, USA |
| |
Abstract: | This paper presents two complementary but equivalent semantics for a high level probabilistic programming language. 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. We use the semantics to prove a general result about probabilistic programs, namely, that a program's behavior is completely determined by its action on fixed inputs. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|