4 ms·
Proving that a particular program terminates does not require deciding the halting problem on arbitrary programs (same for deadlock freedom)
by xjm 9mo ago
Proving that a particular program terminates does not require deciding the halting problem on arbitrary programs (same for deadlock freedom)