Compactly representing first-order structures for static analysis (2002)

by R Manevich, G Ramalingam, J Field, D Goyal, M Sagiv
Venue:In Proc. Static Analysis Symposium (SAS