文森佐·阿塞里;伊莎贝拉·马斯特罗埃尼;扎法内拉，埃纳 在抽象解释中解耦上升和下降阶段。 （英语） Zbl 1524.68072号 谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13658, 25-44 (2022).MSC公司：68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.Arceri}等人，Lect。票据计算。科学。13658，25-44（2022；Zbl 1524.68072） 全文： DOI程序 arXiv公司
雷米·波顿;尼古拉斯·哈尔巴赫斯 通过超出递减序列的抽象解释改进程序分析结果。 （英语） Zbl 1425.68064号 形式方法系统。设计。 53，第3号，384-406（2018）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Boutonet}和\textit{N.Halbwachs}，《形式方法系统》。设计。53，编号3384-406（2018；兹bl 1425.68064） 全文： DOI程序 哈尔
帕特里克·库索特 通过外推和插值提取归纳法。 （英语） Zbl 1432.68258号 D’Souza，Deepak（编辑）等人，《验证、模型检查和抽象解释》。第16届国际会议，2015年VMCAI，印度孟买，2015年1月12-14日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8931, 19-42 (2015).MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}，莱克特。票据计算。科学。8931，19-42（2015；Zbl 1432.68258） 全文： DOI程序
阿戈斯蒂诺·科尔特斯;马蒂奥·扎尼奥利 用于抽象解释的加宽和缩小运算符。 （英语） Zbl 1218.68100号 计算。语言系统。结构。 37，第1期，24-42（2011）.MSC公司：60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Cortesi}和\textit{M.Zanioli}，计算。语言系统。结构。37，第1号，24-42（2011；Zbl 1218.68100） 全文： DOI程序