Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors.

Christopher L. Conway, Dennis Dams, Kedar S. Namjoshi, Clark W. Barrett

Browse the full SAS paper archive.