EWD249

Table of contents.

 0    To my reader.
 1    On our inability to do much.
 4    On the reliability of mechanisms.
 8    On our mental aids.
15    An example of a correctness proof.
19    On the validity of proofs versus the validity of implementations.
21    On understanding programs.
30    On comparing programs.
35    A first example of step-wise program composition.
50    On program families.
53    On trading storage space for computation speed.
57    On a program model.
64    A second example of step-wise program composition.
75    On what we have achieved.
80    On grouping and sequencing.