Principles of Abstract Interpretation by Patrick Cousot(mitpress.mit.edu)16 points by selff 4 years ago | 0 comments