The title says it all: Are halting and terminating synonyms in the context of computability theory?
Is there a difference in usage between halting and terminating?
theory
Well, it's not called the Terminating Problem; it's called the Halting Problem.Given that:while(true) { }does not halt, but you could terminate it by kicking the power cord out of the wall (or clicking End Task in Task Manager), I would say, no, they are not synonyms.