Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

how do i prove programs correct

Name: Anonymous 2012-10-28 17:50

does it really help to make bug-free programs? or was dijkstra full of crap?

Name: Anonymous 2012-10-28 20:10

>>8
0 bugs is an ideal, except for small programs. But you can work for approaching the minimum ammount of bugs. For that, TDD is the true path.

Newer Posts