Publisher
Springer Berlin Heidelberg
Reference5 articles.
1. Hehner, E.C.R.: Predicative Programming. Communications ACM 27(2), 134–151 (1984)
2. Hehner, E.C.R.: A Practical Theory of Programming. Springer, New York (1993), second edition 2004, available free at
www.cs.utoronto.ca/~hehner/aPToP
3. Hoare, C.A.R.: Programs are Predicates. In: Hoare, C.A.R., Shepherdson, J.C. (eds.) Mathematical Logic and Programming Languages, pp. 141–154. Prentice-Hall Intenational, Englewood Cliffs (1985)
4. Kozen, D.: Semantics of Probabilistic Programs. Journal of Computer and System Sciences 22, 328–350 (1981)
5. Morgan, C.C., McIver, A.K., Seidel, K., Sanders, J.W.: Probabilistic Predicate Transformers. ACM Transactions on Programming Languages and Systems 18(3), 325–353 (1996)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献