3 ms·
are you aware of the halting problem?
by rubatuga 6y ago
are you aware of the halting problem?
- smasher164 6y agouh..yeah. The halting problem doesn’t mean you can’t do termination checking. It just means there’s no general algorithm for deciding if a machine halts. We only care about the specific subset of programs that the compiler is able to prove properties about. https://en.m.wikipedia.org/wiki/Termination_analysis https://en.m.wikipedia.org/wiki/Termination_analysis