Edsger W. Dijkstra Quote

When we take the position that it is not only the programmer's responsibility to produce a correct program but also to demonstrate its correctness in a convincing manner, then the above remarks have a profound influence on the programmer's activity: the object he has to produce must be usefully structured.


Dijkstra (1970) "Notes On Structured Programming" (EWD249), Section 3 ("On The Reliability of Mechanisms"), p. 6.


When we take the position that it is not only the programmer's responsibility to produce a correct program but also to demonstrate its correctness in ...

When we take the position that it is not only the programmer's responsibility to produce a correct program but also to demonstrate its correctness in ...

When we take the position that it is not only the programmer's responsibility to produce a correct program but also to demonstrate its correctness in ...

When we take the position that it is not only the programmer's responsibility to produce a correct program but also to demonstrate its correctness in ...