罗伯托·巴格纳拉；罗伯塔·戈里；帕特里夏·M·希尔。；埃纳州扎法内拉 基于约束逻辑的语言的有限元树分析。 （英语） 兹比尔1088.68025 Inf.计算。 193，第2期，84-116（2004）. 概要：基于有理树（可能无限）理论的逻辑语言具有很大的吸引力，因为有理树允许更快的统一（由于安全地省略了发生检查）和更高的表达能力（循环项可以提供语法和其他有用对象的非常有效的表示）。不幸的是，使用无限有理树存在问题。例如，许多内置谓词和库谓词都是为此类树定义的，需要通过运行时检查进行补充，而运行时检查的成本可能很高。此外，一些广泛使用的程序分析和操作技术仅适用于在有限树上工作的程序部分。因此，自动获取程序变量（有限变量）的知识非常重要，在程序关注点，这些变量将始终与有限项绑定。基于这些原因，我们在这里提出了一种基于抽象解释的新数据流分析方法，该方法可以捕获此类信息。我们提出了一个参数域，其中一个用于记录有限变量的简单组件以Cortesi等人的开放产品构造的方式与一个提供共享信息的通用域（构造的参数）耦合。抽象地指定了共享域，以保证组合域的正确性和方法的通用性。通过将有限树分析域与布尔函数域（称为有限树依赖项）耦合，进一步增强了该域，该域精确地捕获了某些变量的有限性如何影响其他变量的有限。我们还总结了我们的实验结果，表明有限树分析是如何通过有限树依赖性来增强的，是获得精确有限性信息的实用方法。 引用于1文件 MSC公司： 68N17号 逻辑编程 第68季度55 计算理论中的语义学 关键词：静态分析；抽象解释；理性统一 软件：液化石油气处理厂；YAP-序言；SICStus公司；CiaoPP公司；Ciao公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagnara}等人，《信息计算》。193，第2号，84--116（2004；Zbl 1088.68025） 全文： 内政部 参考文献： [1] Colmerauer，A.，《Prolog和无限树》（Clark，K.L.；Tärnlund，S.á.，《逻辑编程》，APIC数据处理研究，16（1982），学术出版社：纽约学术出版社），231-251·Zbl 0569.68004号 [2] Colmerauer，A.，《Prolog-III导论》，《ACM通信》，第33、7、69-90页（1990年） [3] 瑞典计算机科学研究所，智能系统实验室，SICStus Prolog用户手册，3.9版（2002年）；瑞典计算机科学研究所，智能系统实验室，SICStus Prolog用户手册，3.9版（2002） [4] 斯莫尔卡，G。；Treinen，R.，逻辑编程记录，逻辑编程杂志，18，3，229-258（1994）·Zbl 0803.68021号 [5] V.Santos Costa，L.Damas，R.Reis，R.Azevedo，《YAP用户手册》，波尔图大学，4.3.20版（2001年）；V.Santos Costa，L.Damas，R.Reis，R.Azevedo，《YAP用户手册》，波尔图大学，4.3.20版（2001） [6] P.R.Eggert，K.P.Chow，《逻辑编程、图形和无限项》，加州大学圣巴巴拉分校计算机科学系技术代表UCSB DoCS TR 83-02，1983年；P.R.Eggert，K.P.Chow，《逻辑编程、图形和无限项》，加州大学圣巴巴拉分校计算机科学系技术代表UCSB DoCS TR 83-02，1983年 [7] Giannesini，F。；Cohen，J.，使用Prolog的无限树生成和语法操作Parser，《逻辑编程杂志》，3，253-265（1984）·Zbl 0575.68087号 [8] P.Cousot，R.Coosot，通过抽象解释进行形式语言、语法和基于集约束的程序分析，摘自：《第七届ACM函数式编程语言和计算机体系结构会议论文集》，ACM出版社，加利福尼亚州拉霍亚，1995年，第1700-181页；P.Cousot，R.Coosot，通过抽象解释进行形式语言、语法和基于集约束的程序分析，摘自：《第七届ACM函数式编程语言和计算机体系结构会议论文集》，ACM出版社，加利福尼亚州拉霍亚，1995年，第1700-181页 [9] 詹森，G。；Bruynoogh，M.，通过抽象解释推导程序变量可能值的描述，《逻辑编程杂志》，13，2&3，205-258（1992）·Zbl 0776.68027号 [10] Van Hentenryck，P。；科尔特斯，A。；Le Charlier，B.，使用类型图对Prolog进行类型分析，《逻辑编程杂志》，22，3，179-209（1995）·Zbl 0830.68029号 [11] M.Filgueiras，使用无限项的Prolog解释器，见：Campbell 69，第250-258页；M.Filgueiras，使用无限项的Prolog解释器，见：Campbell 69，第250-258页 [12] S.Haridi，D.Sahlin，《循环结构统一的有效实现》，载于：Campbell 69，第234-249页；S.Haridi，D.Sahlin，《循环结构统一的有效实现》，摘自：Campbell 69，第234-249页 [13] M.Carro，《有理树在过程语言逻辑编程解释器中的应用》，马德里科技大学计算机科学学院技术代表。可从以下位置获得http://arxiv.org/, 2004; M.Carro，《有理树在过程语言逻辑编程解释器中的应用》，马德里科技大学计算机科学学院技术代表。可从以下位置获得http://arxiv.org/2004年 [14] K.Mukai，约束逻辑编程与信息统一，东京工业大学工程学院计算机科学系博士论文，1991年；K.Mukai，《约束逻辑编程与信息统一》，东京理工大学工程学院计算机科学系博士论文，1991年 [15] 波拉德，C。；Sag，I.A.，标题驱动短语结构语法（1994），芝加哥大学出版社：芝加哥大学出版社 [16] Carpenter，B.，《类型特征结构的逻辑及其在基于统一的语法中的应用》，逻辑编程和约束解析，剑桥理论计算机科学论文集第32卷（1992年），剑桥大学出版社：剑桥大学出版社纽约·Zbl 0765.68006号 [17] G.Erbach，ProFIT:prolog with features，inheritation and templates，收录于：《计算语言学协会欧洲分会第七届会议论文集》，爱尔兰都柏林，1995年，第180-187页；G.Erbach，ProFIT:序言与特征、继承和模板，载于：计算语言学协会欧洲分会第七届会议论文集，爱尔兰都柏林，1995年，第180-187页 [18] M.Codish，C.Taboch，《逻辑程序终止分析的语义基础及其使用符号范数约束的实现》，载于：M.Hanus，J.Heering，K.Meinke，（编辑），《代数与逻辑编程》，第六届国际联合会议，第1298卷，《计算机科学讲义》，斯普林格·弗拉格，柏林，英国南安普敦，1997年，第31-45页；M.Codish，C.Taboch，《逻辑程序终止分析的语义基础及其使用符号范数约束的实现》，载于：M.Hanus，J.Heering，K.Meinke，（编辑），《代数与逻辑编程》，第六届国际联合会议，第1298卷，《计算机科学讲义》，斯普林格·弗拉格，柏林，英国南安普敦，1997年，第31-45页·Zbl 0889.68026号 [19] 科迪什，M。；Taboch，C.，《逻辑程序终止分析的语义基础》，《逻辑编程杂志》，41，1，103-123（1999）·Zbl 0948.68114号 [20] N.Lindenstrauss，Y.Sagiv，A.Serebrenik，《TermiLog:检查逻辑程序查询终止的系统》，载于：O.Grumberg（编辑），《计算机辅助验证：第九届国际会议论文集》，第1250卷，《计算机科学讲义》，柏林，海法，以色列，1997年，第444-447页；N.Lindenstrauss，Y.Sagiv，A.Serebrenik，《TermiLog:检查逻辑程序查询终止的系统》，载于：O.Grumberg（Ed.），《计算机辅助验证：第九届国际会议论文集》，第1250卷，《计算机科学讲义》，柏林，海法，以色列，1997年，第444-447页 [21] F.Mesnard，R.Bagnara，cTI：一种基于约束的终止推理工具，用于ISO-Prolog，逻辑编程理论与实践5（1&2），即将出版；F.Mesnard，R.Bagnara，cTI：一种基于约束的终止推理工具，用于ISO-Prolog，逻辑编程理论与实践5（1&2）·Zbl 1093.68559号 [22] R.F.Stärk，纯Prolog程序的完全正确性：一种形式化方法，收录于：R.Dyckhoff，H.Herre，P.Schroeder-Heister（Eds.），《逻辑编程的扩展：第五届国际研讨会论文集》，计算机科学讲义第1050卷，斯普林格-Verlag，柏林，莱比锡，德国，1996年，第237-254页；R.F.Stärk，纯Prolog程序的完全正确性：一种形式化方法，收录于：R.Dyckhoff，H.Herre，P.Schroeder-Heister（Eds.），《逻辑编程的扩展：第五届国际研讨会论文集》，计算机科学讲义第1050卷，斯普林格-Verlag，柏林，德国莱比锡，1996年，第237-254页 [23] Stärk，R.F.，LPTP（逻辑程序定理证明器）的理论基础，逻辑程序设计杂志，36，3，241-269（1998）·Zbl 0911.68030号 [24] A.Cortesi，B.Le Charlier，S.Rossi，基于规范的Prolog程序自动验证，J.P.Gallagher（编辑），《逻辑程序合成与转换：第六届国际研讨会论文集》，第1207卷，《计算机科学讲稿》，Springer-Verlag，柏林，斯德哥尔摩，瑞典，1997年，第38-57页；A.Cortesi，B.Le Charlier，S.Rossi，基于规范的Prolog程序自动验证，J.P.Gallagher（编辑），《逻辑程序合成与转换：第六届国际研讨会论文集》，第1207卷，计算机科学讲稿，Springer-Verlag，柏林，斯德哥尔摩，瑞典，1997年，第38-57页 [25] 德布雷，S。；Lin，N.-W.，逻辑程序的成本分析，ACM编程语言和系统汇刊，15，5，826-875（1993） [26] M.V.Hermenegildo，F.Bueno，G.Puebla，P.López，《使用Ciao系统预处理器进行程序分析、调试和优化》，载于：D.De Schreye（编辑），《逻辑编程：1999年国际会议》，麻省理工学院逻辑编程系列丛书，麻省工学院出版社，新墨西哥州拉斯克鲁塞斯，1999年，第52-66页；M.V.Hermenegildo，F.Bueno，G.Puebla，P.López，《使用Ciao系统预处理器进行程序分析、调试和优化》，载于：D.De Schreye（编辑），《逻辑编程：1999年国际会议》，麻省理工学院逻辑编程系列丛书，麻省工学院出版社，新墨西哥州拉斯克鲁塞斯，1999年，第52-66页·Zbl 1076.68540号 [27] ISO/IEC，ISO/IEC 13211-1:1995信息技术-编程语言-序言-第1部分：通用核心，国际标准组织，1995年；ISO/IEC，ISO/IEC 13211-1:1995信息技术-编程语言-序言-第1部分：通用核心，国际标准组织，1995年 [28] R.Bagnara，E.Zaffanella，P.M.Hill，《增强共享分析技术：综合评估》，载于：M.Gabbrielli，F.Pfenning（编辑），《第二届国际ACM SIGPLAN声明性编程原理与实践会议论文集》，加拿大蒙特利尔，2000年，第103-114页；R.Bagnara，E.Zaffanella，P.M.Hill，《增强共享分析技术：综合评估》，载于：M.Gabbrielli，F.Pfenning（编辑），《第二届国际ACM SIGPLAN声明性编程原理与实践会议论文集》，加拿大蒙特利尔，2000年，第103-114页·Zbl 1093.68015号 [29] R.Bagnara，E.Zaffanella，P.M.Hill，《增强共享分析技术：综合评估》，《逻辑编程理论与实践5（1&2）》，即将出版；R.Bagnara，E.Zaffanella，P.M.Hill，《增强共享分析技术：综合评估，逻辑编程理论与实践5（1&2）》，即将出版·Zbl 1093.68015号 [30] 科尔特斯，A。；Le Charlier，B。；Van Hentenryck，P.，逻辑编程抽象领域的组合：开放产品和通用模式构建，计算机编程科学，38，1-3，27-71（2000）·Zbl 0957.68023号 [31] 库索特，P。；库索特，R.，《逻辑程序的抽象解释和应用》，《逻辑编程杂志》，13，2&3，103-179（1992）·Zbl 0776.68024号 [32] 希尔，P.M。；扎法内拉，E。；Bagnara，R.，集共享、自由度和线性的正确、精确和有效集成，用于分析有限和有理树语言，逻辑编程理论与实践，4，3289-323（2004）·Zbl 1088.68027号 [33] E.Zaffanella，《真实逻辑语言共享分析中的正确性、准确性和效率》，英国利兹大学计算学院博士论文。网址：http://www.cs.unipr.it/zaffanella网站/, 2001; E.Zaffanella，《真实逻辑语言共享分析中的正确性、准确性和效率》，英国利兹大学计算学院博士论文。网址：网址：http://www.cs.unipr.it/zaffanella/, 2001 [34] R.Bagnara，R.Gori，P.M.Hill，E.Zaffanella，基于约束逻辑语言的Finite-树分析，载于：P.Cousot（Ed.），静态分析：第八届国际研讨会，SAS 2001，计算机科学讲稿第2126卷，Springer-Verlag，柏林，巴黎，法国，2001，pp.165-184；R.Bagnara，R.Gori，P.M.Hill，E.Zaffanella，基于约束逻辑语言的Finite-tree分析，in：P.Cousot（Ed.），静态分析：第八届国际研讨会，SAS 2001，计算机科学讲稿第2126卷，Springer-Verlag，柏林，巴黎，法国，2001，pp.165-184·Zbl 0997.68510号 [35] R.Bagnara，E.Zaffanella，R.Gori，P.M.Hill，有限树依赖的布尔函数，收录于：R.Nieuwenhuis，A.Voronkov（编辑），《第八届国际逻辑编程、人工智能和推理会议论文集》（LPAR 2001），《人工智能讲义》第2250卷，斯普林格-Verlag，柏林，哈瓦那，古巴，2001年，第579-594页；R.Bagnara，E.Zaffanella，R.Gori，P.M.Hill，有限树依赖的布尔函数，收录于：R.Nieuwenhuis，A.Voronkov（编辑），《第八届国际逻辑编程、人工智能和推理会议论文集》（LPAR 2001），《人工智能讲义》第2250卷，斯普林格-Verlag，柏林，哈瓦那，古巴，2001年，第579-594页·Zbl 1275.68043号 [36] R.Bagnara，R.Gori，P.M.Hill，E.Zaffanella，《基于约束逻辑的语言的Finite-树分析：完整的未删节版本》，Quaderno 363，Dipartimento di Matematica，意大利帕尔马大学。可从以下位置获得http://www.cs.unipr.it/Publications/网站。另发布为。可从以下位置获得http://arxiv.org/, 2004; R.Bagnara，R.Gori，P.M.Hill，E.Zaffanella，《基于约束逻辑的语言的Finite-树分析：完整的未删节版本》，Quaderno 363，Dipartimento di Matematica，意大利帕尔马大学。可从以下位置获得http://www.cs.unipr.it/Publications/网站。另发布为。可从以下位置获得http://arxiv.org/2004年 [37] Berarducci，A。；文丘里尼·齐利，M.，统一的推广，符号计算杂志，15，479-491（1993）·Zbl 0803.68014号 [38] King，A.，有理树上的对共享，《逻辑编程杂志》，46，1-2，139-155（2000）·Zbl 0964.68017号 [39] A.Colmerauer，有限树和无限树上的方程和不等式，摘自：《第五代计算机系统国际会议论文集》（FGCS’84），ICOT，日本东京，1984年，第85-99页；A.Colmerauer，有限树和无限树上的方程和不等式，摘自：《第五代计算机系统国际会议论文集》（FGCS’84），ICOT，日本东京，1984年，第85-99页 [40] Jaffar，J。；拉塞兹，J.-L。；Maher，M.J.，Prolog-II作为逻辑编程方案的一个实例，（Wirsing，M.，《编程概念的形式化描述III》（1987），北荷兰：北荷兰阿姆斯特丹），275-299 [41] T.Keisu，Tree constraints，博士论文，瑞典斯德哥尔摩皇家理工学院，也可在SICS论文系列：SICS/D-16-SE（1994年5月）中获得；T.Keisu，Tree constraints，博士论文，瑞典斯德哥尔摩皇家理工学院，也可在SICS论文系列：SICS/D-16-SE（1994年5月）中获得 [42] M.J.Maher，有限树、有理树和无限树代数的完全公理化，摘自：《计算机科学中逻辑的第三届年度研讨会论文集》，IEEE计算机社会出版社，苏格兰爱丁堡，1988年，第348-357页；M.J.Maher，有限、有理和无限树代数的完全公理化，摘自：《计算机科学中逻辑的第三届年度研讨会论文集》，IEEE计算机社会出版社，苏格兰爱丁堡，1988年，第348-357页 [43] 阿姆斯特朗，T。；英国万豪酒店。；Schachte，P。；Söndergaard，H.，《依赖分析的两类布尔函数》，《计算机程序设计科学》，31，1，3-45（1998）·Zbl 0942.68018号 [44] K.Marriott，H.Söndergaard。，逻辑程序抽象解释教程注释，北美逻辑编程会议，美国俄亥俄州克利夫兰，1989年；K.Marriott，H.Söndergaard。，逻辑程序抽象解释教程注释，北美逻辑编程会议，美国俄亥俄州克利夫兰，1989年 [45] A.Cortesi、G.Filé、W.Winsborough，道具重温：命题公式作为基础分析的抽象领域，见：《第六届IEEE计算机科学逻辑年会论文集》，IEEE计算机社会出版社，荷兰阿姆斯特丹，1991年，第322-327页；A.Cortesi、G.Filé、W.Winsborough、，道具重访：命题公式作为基础性分析的抽象领域，载于：《第六届IEEE计算机科学逻辑年度研讨会论文集》，IEEE计算机学会出版社，荷兰阿姆斯特丹，1991年，第322-327页 [46] 英国万豪酒店。；Söndergaard，H.，《逻辑程序的精确而有效的基础性分析》，《美国计算机学会关于编程语言和系统的信件》，2，1-4，181-196（1993） [47] E.Schröder，der Operationskreis des Logikkalkuls，B.G.Teubner，莱比锡，1877年；E.Schröder，der Operationskreis des Logikkalkuls，B.G.Teubner，莱比锡，1877年 [48] P.Cousot，R.Coosot，《抽象解释：通过构建或近似不动点对程序进行静态分析的统一格模型》，载于《第四届美国计算机学会编程语言原理研讨会论文集》，美国计算机学会出版社，纽约，1977年，第238-252页；P.Cousot，R.Coosot，《抽象解释：通过构建或近似不动点对程序进行静态分析的统一格模型》，载于：第四届ACM编程语言原理研讨会论文集，ACM出版社，纽约，1977年，第238-252页 [49] 库索特，P。；Cousot，R.，抽象解释框架，《逻辑与计算杂志》，2，4，511-547（1992）·Zbl 0783.68073号 [50] R.Bagnara，P.M.Hill，E.Zaffanella，真实CLP语言的有效结构信息分析，法国，2000年，第189-206页；R.Bagnara，P.M.Hill，E.Zaffanella，真实CLP语言的有效结构信息分析，法国，2000年，第189-206页·Zbl 0988.68035号 [51] L.Crnogorac、A.D.Kelly、H.Söndergaard，《三种发生-检查分析仪的比较》，载于：R.Cousot、D.A.Schmidt（编辑），《静态分析：第三届国际研讨会论文集》，第1145卷，《计算机科学讲稿》，德国亚琛柏林，1996年，第159-173页；L.Crnogorac，A.D.Kelly，H.Söndergaard，《三种发生-检查分析仪的比较》，载于：R.Cousot，D.A.Schmidt（编辑），《静态分析：第三届国际研讨会论文集》，第1145卷，《计算机科学讲义》，德国亚琛柏林，1996年，第159-173页 [52] H.Söndergaard，逻辑程序抽象解释的应用：发生检查减少，In:B.Robinet，R.Wilhelm，（Eds.），《1986年欧洲编程研讨会论文集》，第213卷，《计算机科学讲稿》，斯普林格·弗拉格，柏林，萨尔布吕肯，德意志联邦共和国，1986年，第327-338页；H.Söndergaard，逻辑程序抽象解释的应用：发生检查减少，In:B.Robinet，R.Wilhelm，（Eds.），1986年欧洲编程研讨会论文集，计算机科学讲义第213卷，Springer-Verlag，柏林，萨尔布吕肯，德意志联邦共和国，1986年，第327-338页·Zbl 0605.68090号 [53] M.Bruynooghe，M.Codish，A.Mulkers，《导出程序变量共享和自由属性的复合域的抽象统一》，收录于：F.S.de Boer，M.Gabbrielli（编辑），《逻辑语言的验证与分析》，W2会后研讨会论文集，圣玛格丽塔·利古尔逻辑编程国际会议，意大利，1994年，第213-230页；M.Bruynooghe，M.Codish，A.Mulkers，《导出程序变量共享和自由属性的复合域的抽象统一》，收录于：F.S.de Boer，M.Gabbrielli（编辑），《逻辑语言的验证与分析》，W2会后研讨会论文集，圣玛格丽塔·利古尔逻辑编程国际会议，意大利，1994年，第213-230页 [54] W.Hans，S.Winkler，《通过抽象解释对逻辑程序进行混叠和基础性分析及其安全性》，技术代表92-27，亚琛工业大学（RWTH Aachen），1992年；W.Hans，S.Winkler，《通过抽象解释对逻辑程序进行混叠和基础性分析及其安全性》，技术代表92-27，亚琛工业大学（RWTH Aachen），1992年 [55] 希尔，P.M。；巴格纳拉，R。；Zaffanella，E.，集共享的健全幂等性和交换性，逻辑程序设计的理论与实践，2,2155-201（2002）·Zbl 1087.68530号 [56] D.Jacobs，A.Langen，《逻辑程序中变量混叠的准确有效近似》，载于：E.L.Lusk，R.A.Overbeek（编辑），《逻辑编程：北美会议论文集》，麻省理工学院逻辑编程系列丛书，麻省工学院出版社，美国俄亥俄州克利夫兰，1989年，第154-165页；D.Jacobs，A.Langen，《逻辑程序中变量混叠的准确有效近似》，载于：E.L.Lusk，R.A.Overbeek（编辑），《逻辑编程：北美会议论文集》，麻省理工学院逻辑编程系列丛书，麻省工学院出版社，美国俄亥俄州克利夫兰，1989年，第154-165页 [57] 科尔特斯，A。；Filé，G.，共享是最优的，《逻辑编程杂志》，38，3，371-386（1999）·Zbl 0942.68610号 [58] P.M.Hill，E.Zaffanella，R.Bagnara，用于分析有限和有理树语言的集合共享、自由度和线性的正确、精确和有效的集成，Quaderno 273，Dipartimento di Matematica，意大利帕尔马大学。可从以下位置获得http://www.cs.unipr.it/Publications/网站。还作为2001年英国利兹大学计算机学院第2001.22号技术报告出版；P.M.Hill，E.Zaffanella，R.Bagnara，用于分析有限和有理树语言的集合共享、自由度和线性的正确、精确和有效的集成，Quaderno 273，Dipartimento di Matematica，意大利帕尔马大学。可从以下位置获得http://www.cs.unipr.it/Publications/网站。还作为2001年英国利兹大学计算机学院第2001.22号技术报告出版·兹比尔1088.68027 [59] Dart，P.W.，《关于派生依赖关系和连接数据库》，《逻辑编程杂志》，第11期，第1期和第2期，第163-188页（1991年）·Zbl 0735.68023号 [60] R.Bagnara，P.Schachte，基于ROBDD的实现中等效变量对的分解销售时点情报系统，载于：A.M.Haeberer（Ed.），《第七届代数方法论和软件技术国际会议论文集》（AMAST’98），计算机科学讲义第1548卷，Springer-Verlag，柏林，亚马逊河，巴西，1999年，第471-485页；R.Bagnara，P.Schachte，基于ROBDD的实现中等效变量对的分解销售时点情报系统，载于：A.M.Haeberer（Ed.），《第七届代数方法论和软件技术国际会议论文集》（AMAST’98），计算机科学讲义第1548卷，Springer-Verlag，柏林，亚马逊河，巴西，1999年，第471-485页 [61] Bryant，R.E.，有序二元决策图的符号布尔运算，ACM计算调查，24，3，293-318（1992） [62] 雅各布斯，D。；Langen，A.，独立与并行逻辑程序的静态分析，《逻辑编程杂志》，13，2&3，291-314（1992）·Zbl 0776.68026号 [63] 科迪什，M。；Söndergaard，H。；Stuckey，P.J.，《逻辑程序中的共享和基础依赖性》，《程序设计语言和系统的ACM汇刊》，21，5，948-976（1999） [64] 科尔特斯，A。；Filé，G。；Winsborough，W.，《比较静态分析的抽象解释的商》，《理论计算机科学》，202，1&2，163-192（1998）·Zbl 0902.68030号 [65] R.Bagnara，《基于约束逻辑的语言的数据流分析》，博士论文，意大利比萨比萨大学信息学院，报告TD-1/97（1997年3月）；R.Bagnara，《基于约束逻辑的语言的数据流分析》，博士论文，意大利比萨比萨大学信息学院，报告TD-1/97（1997年3月）·Zbl 0891.68056号 [66] R.Ramakrishnan，《魔术模板：逻辑程序的一种令人着迷的方法》，载于：R.a.Kowalski，K.a.Bowen（编辑），《逻辑编程：第五届逻辑编程国际会议和研讨会论文集》，麻省理工学院逻辑编程系列丛书，麻省学院出版社，美国西雅图，1988年，第140-159页；R.Ramakrishnan，《魔术模板：逻辑程序的一种令人着迷的方法》，载于：R.a.Kowalski，K.a.Bowen（编辑），《逻辑编程：第五届逻辑编程国际会议和研讨会论文集》，麻省理工学院逻辑编程系列丛书，麻省学院出版社，美国西雅图，1988年，第140-159页 [67] F.Bourdoncle，《带加宽的有效混沌迭代策略》，载于：D.Björner，M.Broy，I.V.Pottosin（Eds.），《编程形式方法及其应用国际会议论文集》，第735卷，《计算机科学讲稿》，柏林斯普林格出版社，俄罗斯新西伯利亚，阿卡迪姆戈罗德，1993年，第128-141页；F.Bourdoncle，《带加宽的有效混沌迭代策略》，载于：D.Björner，M.Broy，I.V.Pottosin（Eds.），《编程形式方法及其应用国际会议论文集》，第735卷，《计算机科学讲义》，柏林斯普林格出版社，俄罗斯新西伯利亚学院，1993年，第128-141页 [68] F.Bourdoncle，《重要语言规范与国际抽象》，PRL研究报告22，DEC巴黎研究实验室，1993年；F.Bourdoncle，《重要语言规范和国际抽象》，PRL研究报告22，DEC巴黎研究实验室，1993年 [69] （Campbell，J.A.，《Prolog的实现》（1984），埃利斯·霍伍德/霍尔斯特出版社/威利出版社） [70] 巴格纳拉，R。；希尔，P.M。；Zaffanella，E.，集共享对于成对共享来说是多余的，《理论计算机科学》，277，1-2，3-46（2002）·Zbl 0997.68021号 [71] 扎法内拉，E。；希尔，P.M。；Bagnara，R.，通过互补分解非冗余共享，逻辑编程理论与实践，2，2，233-261（2002）·Zbl 1087.68535号 [72] M.Codish，D.Dams，E.Yardeni，《抽象统一算法的推导与安全性，用于基础性和混叠分析》，K.Furukawa（编辑），《逻辑编程：第八届逻辑编程国际会议论文集》，麻省理工学院逻辑编程系列丛书，麻省工学院出版社，法国巴黎，1991年，第79-93页；M.Codish，D.Dams，E.Yardeni，《抽象统一算法的推导和安全性（用于基础性和混叠分析）》，K.Furukawa（编辑），《逻辑编程：第八届逻辑编程国际会议论文集》，麻省理工学院逻辑编程系列丛书，麻省工学院出版社，法国巴黎，1991年，第79-93页 [73] F.Scozzari，通过最优语义进行共享分析的抽象域，载于：J.Palsberg（编辑），静态分析：第七届国际研讨会，SAS 2000，计算机科学讲义第1824卷，Springer Verlag，柏林，圣巴巴拉，CA，美国，2000，第397-412页；F.Scozzari，通过最优语义共享分析的抽象域，收录于：J.Palsberg（Ed.），《静态分析：第七届国际研讨会》，SAS 2000，计算机科学讲义第1824卷，Springer-Verlag，柏林，加州圣巴巴拉，美国，2000年，第397-412页·Zbl 0966.68055号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。