Hacker News new | ask | show | jobs
Abstract Interpretation: From 0, 1, To ∞ [pdf] (cs.nyu.edu)
6 points by Hirrolot 697 days ago