Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.

Published in: VMCAI (2012)

Keyphrases