Programming discipline

Good programming discipline is to produce programs which are: easy to use and to understand, reliable and easy to debug (if not already correct), and easy to adapt to changes in the environment. In order to fulfil these requirements programs must be well structured and well documented. Research on techniques for program correctness proofs has shed some light on what good structure and adequate documentation is. Indeed a program easily proved correct is easy to understand, and vice versa.