Abstract
I hold the opinion that the construction of computer programs is a mathematical activity like the solution of differential equations, that programs can be derived from their specifications through mathematical insight, calculation, and proof, using algebraic laws as simple and elegant as those of elementary arthmetic. Such methods of program construction promise benefits in specifications, systems software, safety-critical programs, silicon design, and standards.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Dijkstra, Edsger W.: 1976, A Discipline of Programming. Englewood Cliffs, NJ: Prentice-Hall.
Gries, David: 1981, The Science of Programming. New York: Springer.
The Guardian, July 10, 1985, London, England.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Hoare, C.A.R. (1993). Mathematics of Programming. In: Colburn, T.R., Fetzer, J.H., Rankin, T.L. (eds) Program Verification. Studies in Cognitive Systems, vol 14. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-1793-7_7
Download citation
DOI: https://doi.org/10.1007/978-94-011-1793-7_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4789-0
Online ISBN: 978-94-011-1793-7
eBook Packages: Springer Book Archive