Abstract Interpretation: From 0, 1, To ∞ [pdf] | Hacker News Reader