4 ms·
* but it rules out some legitimate programs which terminate. (Typo, but too late to edit the original comment.)
by curryhoward 9y ago
* but it rules out some legitimate programs which terminate.
(Typo, but too late to edit the original comment.)