Predicate calculus and program semantics

Front Cover
Springer-Verlag, 1990 - Computers - 220 pages
0 Reviews

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

On structures
1
On substitution and replacement
11
On functions and equality
17
On our proof format
21
The calculus of boolean structures
30
Some properties of predicate transformers
81
Semantics of straightline programs
121
Equations in predicates and their extreme solutions
147
Semantics of repetitions
170
Operational considerations
190
Converse predicate transformers
201
The strongest postcondition
209
Index
216
Copyright

Other editions - View all

References to this book

All Book Search results »

Bibliographic information