@第{zbMATH06065766条，作者={Skrypnyuk、Nataliya和Nielson、Flemming和Pilegaard、Henrik}，标题={IMC}}的静态分析，FJournal={逻辑与代数编程杂志}，日志={J.Log.Algebr.Program.}，ISSN={1567-8326}，体积={81}，数字={4}，页码={522--540}，年份={2012}，语言={英语}，DOI={10.1016/j.jlap.2012.03.011}，关键词={68Q85}，zbMATH＝{6065766}，Zbl={1243.68220}}