Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
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. © 1981.
Michael Ray, Yves C. Martin
Proceedings of SPIE - The International Society for Optical Engineering
Kenneth L. Clarkson, K. Georg Hampel, et al.
VTC Spring 2007
A. Grill, B.S. Meyerson, et al.
Proceedings of SPIE 1989
Donald Samuels, Ian Stobert
SPIE Photomask Technology + EUV Lithography 2007