Static Analysis in Disjunctive Numerical Domains.

Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta

Browse the full SAS paper archive.