Compactly Representing First-Order Structures for Static Analysis.

Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv

Browse the full SAS paper archive.