Statically Inferring Complex Heap, Array, and Numeric Invariants.

Bill McCloskey, Thomas W. Reps, Mooly Sagiv

Browse the full SAS paper archive.