Christopher L. Conway Dennis Dams Kedar S. Namjoshi Clark Barrett Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors. 62-77 2008 SAS http://dx.doi.org/10.1007/978-3-540-69166-2_5 conf/sas/2008 db/conf/sas/sas2008.html#ConwayDNB08