| Subject | Datestamp | Replies | Score | |||
|---|---|---|---|---|---|---|
| Re:Verifying compiler? Correctness proving tools? | ||||||
| Re:Halting problem "loophole" | ||||||
| attached to Grand Challenges For The Next 20 Years | ||||||
A bug in the code is worth two in the documentation.
| Subject | Datestamp | Replies | Score | |||
|---|---|---|---|---|---|---|
| Re:Verifying compiler? Correctness proving tools? | ||||||
| Re:Halting problem "loophole" | ||||||
| attached to Grand Challenges For The Next 20 Years | ||||||
A bug in the code is worth two in the documentation.