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 23:08

here is your proof of the linear search.
http://www.cs.utexas.edu/~EWD/transcriptions/EWD09xx/EWD930.html

Newer Posts