Hacker News new | ask | show | jobs
by red75prime 2725 days ago
Yes. And the halting problem doesn't preclude static program analysis even if it works with only a subset of all possible programs.
1 comments
adrianN 2725 days ago
It looks like we're in perfect agreement then.
link