It sounds great, but isn’t viable in practice.
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.
Name (required)
Mail (will not be published) (required)
Website
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.