3 ms·
Yes. And the halting problem doesn't preclude static program analysis even if it works with only a subset of all possible programs.
by red75prime 8y ago
Yes. And the halting problem doesn't preclude static program analysis even if it works with only a subset of all possible programs.
- adrianN 8y agoIt looks like we're in perfect agreement then.