O'Reilly logo
  • Carlo Teubner thinks this is interesting:

The second procedural suggestion of Dijkstra is more subtle and seems to have been missed by many of those attempting to follow his suggestions.... Dijkstra suggests the following procedure for constructing correct programs: analyze how a proof can be given that a class of computations obeys certain requirements— that is, explicitly state the conditions which must hold if we are to prove that an algorithm performs correctly; then write a program that makes the conditions come true.

Thus structured programming is a way of thinking that leads to constructive programming; it is not an exact process that can be precisely specified... to develop a more explicit def...

From

Cover of Leading Lean Software Development: Results Are Not the Point

Note

This is Freeman’s quote. The Safari reader should be indenting it but isn’t. I only figured this out on Google Books.