Readings

Abstract Interpretation: a Semantics Based Tool for Program Analysis