Unifying wp and wlp

Information Processing Letters

Volumn 59, Issue 3, 1996, Pages 159-163

  Morgan, Carroll ^a   McIver, Annabelle ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Egli Milner order; Formal semantics; Program correctness; Weakest liberal precondition; Weakest precondition

Indexed keywords

EID: 0003857861     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/0020-0190(96)00093-2     Document Type: Article

References (4)

1. E.W. Dijkstra, A Discipline of Programming (Prentice Hall, Englewood Cliffs, NJ, 1976).
2. W.H. Hesselink, Programs, Recursion and Unbounded Choice, Cambridge Tracts in Theoretical Computer Science 27 (Cambridge University Press, Cambridge, 1992).
3. C. Morgan, A. McIver and K. Seidel, Probabilistic predicate transformers, TOPLAS 18 (3) (1996) 325-353; also available at http://www.comlab.ox.ac.uk/oucl/groups/probs/bibliography.html
4. G. Nelson, A generalisation of Dijkstra's calculus, TOPLAS 11 (4) (1989).