Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta. Donut Domains: Efficient Non-convex Domains for Abstract Interpretation. Viktor Kuncak; Andrey Rybalchenko. VMCAI 2012 - Verification, Model Checking, and Abstract Interpretatio
HAL Archives-Ouvertes,
Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta. Donut Domains: Efficient Non-convex Domains for…