TECHNISCHE HOGESCHOOL EINDHOVEN TECHNOLOGICAL UNIVERSITY BINDKOVEN NEDERLAND ‘THE NETHERLANDS ONDERAFDELING DER WISKUNDE DEPARTMENT OF MATHEMATICS NOTES ON STRUCTURED PROGRAMMING by Prof.dr. Edsger W. Dijkstra T.H.-Report 70-WSK-03 Second edition April 1970W0249 NOTES ON STRUCTURED PROGRAMMING by prof.dr.Edager W.Dijkstra August 1969Ew249 contents. my reader. our inability te do much. the relinoility of mechanisms. our mental aids. example of 9 correctness proof. the validity af proofs versus the validity of implementations, understanding programs. camparing prograns. A first example of step-wise program camposition. program families. trading storage space for cemputation speed. = program model. A second example of step-wise pragran composition. Table of 0 Ta + On 4 On 8 on 15 an 19 On 21 On 30. On 35 50 On 53 On 5ST an 64. 15 On 6 on what we have achieved, grouping and sequencing.