• David Gries
Part of the Text and Monographs in Computer Science book series (MCS)


Part III discusses a radical methodology for the development of programs, which is based on the notion of weakest precondition and exploits our definition of a programming notation in terms of it. To the reader, the methodology will probably be different from anything seen before. The purpose of this introduction is to prepare the reader for the approach —to give reasons for it, to explain a few points, and to indicate what to expect.


Closed Curve Black Bean Final Program Abstract Data Type Mental Tool 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York Inc. 1981

Authors and Affiliations

  • David Gries
    • 1
  1. 1.Department of Computer ScienceCornell UniversityIthacaUSA

Personalised recommendations