Calculations with relations, an example

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic


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).
Original languageEnglish
Title of host publicationBeauty is our business : a birthday salute to Edsger W. Dijkstra
EditorsW.H.J. Feijen, A.J.M. Gasteren, van, D. Gries, J. Misra
Place of PublicationBerlin
ISBN (Print)978-1-4612-8792-6
Publication statusPublished - 1990

Publication series

NameTexts and monographs in computer science
ISSN (Print)0172-603X


Dive into the research topics of 'Calculations with relations, an example'. Together they form a unique fingerprint.

Cite this