*Perfect static analysis* is certainly halting-equivalent. What you're describin... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

smosher on Dec 7, 2011 | parent | context | favorite | on: What I suspect Google is up to with Native Client

Perfect static analysis is certainly halting-equivalent. What you're describing falls short of perfection, which is what I've suggested.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact