@第{zbMATH06725122条，作者={Comini、Marco和Gallardo、Mar{'{i}}a-del-Mar和Titolo、Laura和Villanueva、Alicia}，Title={基于抽象解释的\emph{tccp}程序分析框架}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN＝{0934-5043}，体积={29}，数字={3}，页码={531--557}，年份={2017年}，语言={英语}，DOI={10.1007/s00165-016-0409-8}，关键词={68N30,68N19}，zbMATH={6725122}，Zbl={1362.68045}}