Calculations with relations, an example

J.C.S.P. Woude, van der

doi:10.1007/978-1-4612-4476-9_53

Calculations with relations, an example

J.C.S.P. Woude, van der

Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Abstract

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 language	English
Title of host publication	Beauty is our business : a birthday salute to Edsger W. Dijkstra
Editors	W.H.J. Feijen, A.J.M. Gasteren, van, D. Gries, J. Misra
Place of Publication	Berlin
Publisher	Springer
Pages	435-441
ISBN (Print)	978-1-4612-8792-6
DOIs	https://doi.org/10.1007/978-1-4612-4476-9_53
Publication status	Published - 1990

Publication series

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

Access to Document

10.1007/978-1-4612-4476-9_53

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

Cite this

@inbook{3dface3b80da4882a9927f6a55ddfc6f,

title = "Calculations with relations, an example",

abstract = "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).",

author = "{Woude, van der}, J.C.S.P.",

year = "1990",

doi = "10.1007/978-1-4612-4476-9_53",

language = "English",

isbn = "978-1-4612-8792-6",

series = "Texts and monographs in computer science",

publisher = "Springer",

pages = "435--441",

editor = "W.H.J. Feijen and {Gasteren, van}, A.J.M. and D. Gries and J. Misra",

booktitle = "Beauty is our business : a birthday salute to Edsger W. Dijkstra",

address = "Germany",

}

TY - CHAP

T1 - Calculations with relations, an example

AU - Woude, van der, J.C.S.P.

PY - 1990

Y1 - 1990

N2 - 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).

AB - 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).

U2 - 10.1007/978-1-4612-4476-9_53

DO - 10.1007/978-1-4612-4476-9_53

M3 - Chapter

SN - 978-1-4612-8792-6

T3 - Texts and monographs in computer science

SP - 435

EP - 441

BT - Beauty is our business : a birthday salute to Edsger W. Dijkstra

A2 - Feijen, W.H.J.

A2 - Gasteren, van, A.J.M.

A2 - Gries, D.

A2 - Misra, J.

PB - Springer

CY - Berlin

ER -