Predicate Calculus and Program Semantics (Monographs in Computer Science) - Hardcover

Edsger W. Dijkstra; Carel S. Scholten

Hardcover

ISBN 10: 3540969578 ISBN 13: 9783540969570

Publisher: Springer Verlag, 1990

Synopsis

This text gives a self-contained 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, the notion of determinacy is defined it is shown how to cope unbounded nondeterminacy without using transfinite induction.

Edition details

• Publisher: Springer Verlag
• Publication date: 1990
• ISBN 10: 3540969578
• ISBN 13: 9783540969570
• Binding: Hardcover
• Language: English
• Number of pages: 220