Stem donut$ (all stems)
1 papers:
VMCAI-2012-GhorbalIBMG #abstract interpretation #performance- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
VMCAI-2012-GhorbalIBMG #abstract interpretation #performance