Compactly representing structures for static analysis (0)

by R Manevich, G Ramalingam, J Field, D Goyal, M Sagiv
Venue:SAS (2002), LNCS 2477