Eventually Sound Points-To Analysis with Specifications.

Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken

Browse the full ECOOP paper archive.