Probabilistic predicative programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3125, Issue , 2004, Pages 169-185

  Hehner, Eric C R ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

PROBABILISTIC REASONING;

ARTIFICIAL INTELLIGENCE;

EID: 33746042149     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27764-4_10     Document Type: Article

References (5)

1. E.C.R.Hehner: "Predicative Programming", Communications ACM, volume 27, number 2, pages 134-151, 1984 February
2. E.C.R.Hehner: a Practical Theory of Programming, Springer, New York, 1993; second edition 2004 available free at www.cs.utoronto.ca/hehner/aPToP
3. C.A.R.Hoare: "Programs are Predicates", in C.A.R.Hoare, J.C.Shepherdson (editors): Mathematical Logic and Programming Languages, Prentice-Hall Intenational, pages 141-154, 1985
4. D.Kozen: Semantics of Probabilistic Programs, Journal of Computer and System Sciences, volume 22, pages 328-350, 1981
5. C.C.Morgan, A.K.McIver, K.Seidel, J.W.Sanders: "Probabilistic Predicate Transformers", ACM Transactions on Programming Languages and Systems, volume 18, number 3, pages 325-353, 1996 May