A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.
Elefant
Mit Press Ltd Introduction to static analysis. an abstract interpretation perspective, hardback/kwangkeun yi