Static Analysis of Software: The Abstract Interpretation

Static Analysis of Software: The Abstract Interpretation