DMCA

Donut domains: Efficient non-convex domains for abstract interpretation (2012)

by Khalil Ghorbal , Gogul Balakrishnan , Naoto Maeda , Aarti Gupta, et al.
Venue: VMCAI 2012
Citations:4 - 0 self