Common case solution for a halting problem
We have studied constraints to programs, but we can use constraints to programmers instead.
Let's assume the following constraint:
Programmer must always figure out, for his specific algorithm, how…