TCM Labs Logo
On recruteContact
On recrute
Contact
Accueil
-
Citations
-
One should not first make the program and then pro...

Citation de Edsger W. Dijkstra

“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

mediumMediumgithubGitHub iconlinkedInLinkedIn icontwitterTwitter icon
TCM Labs
•
© 2023