A dynamic evaluation of the precision of static heap abstractions.

Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv

Browse the full OOPSLA paper archive.