TY  - BOOK
AU  - Dijkstra,Edsger W.
AU  - Scholten,Carel S.
TI  - Predicate calculus and program semantics
T2  - Texts and monographs in computer science
SN  - 0387969578 
U1  - 005.1015113 23
PY  - 1990///
CY  - New York
PB  - Springer-Verlag
KW  - Predicate calculus
KW  - Programming languages (Electronic computers)
KW  - Semantics
N1  - Includes index; 1. On structures--
2. On substitution and replacement--
3. On functions and equality--
4. On our proof format--
5. The calculus of boolean structures--
6. Some properties of predicate transformers--
7. Semantics of straight-line programs--
8. Equations in predicates and their extreme solutions--
9. Semantics of repetitions--
10. Operational considerations--
11.Converse predicate transformers--
12. The strongest postcondition--
Index
N2  - This text gives a foundation of predicate transformer semantics by making extensive use of the predicate calculus. The semantics of the repetitive construct is defined in terms of weakest and strongest solutions in terms of the weakest precondition and the weakest liberal precondition
ER  -