Defensive Points-To Analysis: Effective Soundness via Laziness.

Yannis Smaragdakis, George Kastrinis

Browse the full ECOOP paper archive.