@文章{zbMATH06258097，作者={Cousot、Patrick和Cousot，Radhia和Mauborgne，Laurent}，标题={理论、求解者和抽象解释的静态分析}，FJournal={ACM杂志}，期刊={J.ACM}，ISSN={0004-5411}，体积={59}，数字={6}，页码={56}，注={Id/No 31}，年份={2012}，语言={英语}，DOI={10.1145/2395116.2395120}，关键词={68Q60,68N30,68T15,03B70}，zbMATH={6258097}，Zbl={1281.68156}}