“Proving a Computer Program’s Correctness” Posted by Head Geek on 26 October 2009, 1:55 pm It sounds great, but isn’t viable in practice.
What do you mean no good programmers? I’m taking a Perl course, and at the end will be able to write programs so good that nobody can read them!
Who needs to prove a program’s correctness? Good programmers never make mistakes! 😉
You’re absolutely right — unfortunately, by that definition, there are no good programmers. 😉
What do you mean no good programmers? I’m taking a Perl course, and at the end will be able to write programs so good that nobody can read them!
The prosecution rests. 😉