Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Gries, D. (1981). Introduction. In: The Science of Programming. Text and Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-5983-1_14
Download citation
DOI: https://doi.org/10.1007/978-1-4612-5983-1_14
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-96480-5
Online ISBN: 978-1-4612-5983-1
eBook Packages: Springer Book Archive