Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Predicate calculus and program semantics / Edsger W. Dijkstra and Carel S. Scholten.

By: Contributor(s): Material type: TextTextSeries: Texts and monographs in computer sciencePublication details: New York : Springer-Verlag, c1990.Description: x, 220 p. : ill. ; 25 cmISBN:
  • 0387969578
Subject(s): DDC classification:
  • 005.1015113 23 D575
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books ISI Library, Kolkata 005.1015113 D575 (Browse shelf(Opens below)) Available C26431
Total holds: 0

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.

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.

There are no comments on this title.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in