Used together with:
domain
(2)
non
(1)
effici
(1)
interpret
(1)
convex
(1)
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.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.