3 ms·
Perfect static analysis is certainly halting-equivalent. What you're describing falls short of perfection, which is what I've suggested.
by smosher 15y ago
Perfect static analysis is certainly halting-equivalent. What you're describing falls short of perfection, which is what I've suggested.