Matt Might personal blog
What is static program analysis?
The halting problem asks whether the execution of a specific program for a given input will terminate.
- Points
- 110
- HN comments
- 33
- Submissions
- 1
- Cited by
- 3 commenters
Software EngineeringMath & Algorithms2012
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Oct 5, 2012 | What is static program analysis? by p4bl0 | 110 | 33 |
Cited in comments
Linked from 4 Hacker News comments by 3 different people, from Jan 2015 to May 2020.
Most recent:
