[svantana]

Halting has nothing to do with being bug-free -- lots of buggy programs halt, and some obviously bug-free programs may not halt (e.g. a brute force search to determine Goldbach's conjecture)

[j2kun]

Of course it does: checking for halting reduces to checking for bug-freeness. See the other comment in this thread.