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.
Unable to display preview. Download preview PDF.