Surfing Complexity personal blog
How did software get so reliable without proof?
In 1996, the Turing-award-winning computer scientist C.A.R. Hoare wrote a paper with the title How Did Software Get So Reliable Without Proof? In this paper, Hoare grapples with the observation tha…
- Points
- 185
- HN comments
- 130
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringSystems & Performance2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Mar 3, 2020 | How did software get so reliable without proof? by azhenley | 185 | 130 |
