Class Analysis of Object-Oriented Programs through Abstract Interpretation.

Thomas P. Jensen, Fausto Spoto

Browse the full FOSSACS paper archive.