Abstract Interpretation in a Nutshell (2008) | Hacker News Reader