Predicate transformer semantics (PTS) has proved to be very fruitful, in particular for program derivation. It is well known, although not very well documented, that the version of PTS with universal conjunctivity for wlp and without the law of the excluded miracle is equivalent to some relation semantics (RS).
|Title of host publication
|Beauty is our business : a birthday salute to Edsger W. Dijkstra
|W.H.J. Feijen, A.J.M. Gasteren, van, D. Gries, J. Misra
|Place of Publication
|Published - 1990
|Texts and monographs in computer science