Heap analysis in the presence of collection libraries (2007)

by M Marron, D Stefanovic, M Hermenegildo, D Kapur
Venue:in PASTE