Sriram Sankaranarayanan Franjo Ivancic Ilya Shlyakhter Aarti Gupta Static Analysis in Disjunctive Numerical Domains. 3-17 2006 conf/sas/2006 SAS http://dx.doi.org/10.1007/11823230_2 db/conf/sas/sas2006.html#SankaranarayananISG06