Skip to content

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.

— Edsger W. Dijkstra Dijkstra (1970)

Another quote →

More quotes by Edsger W. Dijkstra

A picture may be worth a thousand words, a formula is worth a thousand pictures.

The teaching of BASIC should be rated as a criminal offence: it mutilates the mind beyond recovery.

Program testing can be used to show the presence of bugs, but never to show their absence!

Dijkstra (1970)

The problems of the real world are primarily those you are left with when you refuse to apply their effective solutions.

Dijkstra (1988)

It is not the task of the University to offer what society asks for, but to give what society needs.

Dijkstra (2000)

All Edsger W. Dijkstra quotes →

Attribution

Quote text and notes from Wikiquote: Edsger W. Dijkstra (page history), available under CC BY-SA 4.0. Source quality and labels are our own summary of what Wikiquote records.