Making set-constraintbased program analyses scale (1996)

by M Fahndrich, A Aiken
Venue:UC Berkeley