3 ms·
Of course it does: checking for halting reduces to checking for bug-freeness. See the other comment in this thread.
by j2kun 12y ago
Of course it does: checking for halting reduces to checking for bug-freeness. See the other comment in this thread.