Nos
citations
Retrouvez toutes nos citations d'auteurs de référence

👉 Contactez-nous

illuPeople

Citation

One should not first make the program and then prove its correctness, because then the requirement of providing the proof would only increase the poor programmer’s burden. On the contrary: the programmer should let correctness proof and program grow hand in hand.

- Edsger W. Dijkstra

The Humble Programmer