Probabilistic Predicative Programming

This paper shows how probabilistic reasoning can be applied to the predicative style of programming.

[1]  J. C. Shepherdson,et al.  Mathematical Logic and Programming Languages , 1985 .

[2]  Annabelle McIver,et al.  Probabilistic predicate transformers , 1996, TOPL.

[3]  Eric C. R. Hehner,et al.  A Practical Theory of Programming , 1993, Texts and Monographs in Computer Science.

[4]  Eric C. R. Hehner,et al.  Predicative programming Part I , 1984, CACM.

[5]  Dexter Kozen,et al.  Semantics of probabilistic programs , 1979, 20th Annual Symposium on Foundations of Computer Science (sfcs 1979).

[6]  C. A. R. Hoare.  Programs are predicates , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.