Abstract
We are not going to try to ‘teach programming’ in the sense that the reader might understand the term. In this chapter, we are going to make some observations on programs and programming — and on ways in which programmers have tried to ‘guarantee’ that their programs were ‘right’. In Chapter 3, we shall set about the formal derivation of programs from specifications. In some sense, therefore, these chapters are competing. We make no pretence that the competition is fair. For the reader who skips through this chapter, some common elements are repeated in Chapter 3
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.
Rights and permissions
Copyright information
© 2005 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2005). On Programming. In: Constructing Correct Software. Springer, London. https://doi.org/10.1007/1-84628-079-6_3
Download citation
DOI: https://doi.org/10.1007/1-84628-079-6_3
Publisher Name: Springer, London
Print ISBN: 978-1-85233-820-6
Online ISBN: 978-1-84628-079-5
eBook Packages: Computer ScienceComputer Science (R0)