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:12

Coq is a sexist name. I propose we rename it `vajin'.

WYPMP
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode -