Publications [#290779] of John H. Reif

Journal articles or Book chapters PUBLISHED

1. Reif, JH, Logics for probabilistic programming, Proceedings of the Annual ACM Symposium on Theory of Computing, vol. 1980-April (April, 1980), pp. 8-13, ACM Press, ISSN 0737-8017 [pdf], [doi]
   (last updated on 2026/01/14)

   Abstract:
   This paper introduces a logic for probabilistic programming⁺ PROB-DL (for probabilistic dynamic logic; see Section 2 for a formal definition). This logic has "dynamic" modal operators in which programs appear, as in Pratt's [1976] dynamic logic DL. However the programs of PROB-DL contain constructs for probabilistic branching and looping whereas DL is restricted to nondeterministic programs. The formula {a}σp of PROB-DL denotes "with measure ≥σ, formula p holds after executing program a."