马可·科米尼；玛丽亚·德尔·马尔·加拉多；劳拉·蒂托洛；艾丽西亚·维拉纽瓦 程序分析框架tccp公司基于抽象解释。 （英语） 兹比尔1362.68045 正式Asp。计算。 29，第3期，531-557（2017）. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 关键词：并发约束范式；抽象解释；抽象语义学；拓宽运营商 PDF格式BibTeX公司 XML格式引用 \textit{M.Comini}等人，《形式语法》。计算。29，第3号，531--557（2017；Zbl 1362.68045） 全文： 内政部 参考文献： [1] Alpunte M，Gallardo MM，Pimentel E，Villanueva A（2006）tccp程序抽象模型检查的语义框架。计算机科学理论346（1）：58-95·Zbl 1087.68053号 ·doi:10.1016/j.tcs.2005.08.009 [2] Bagnara R，Hill PM.，Ricci E，Zaffanella E（2005）凸多面体的精确加宽算子。科学计算程序58（1-2）：28-56·兹比尔1088.68173 [3] Cousot P，Cousot R（1977）抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。1月17日至19日，加利福尼亚州洛杉矶，第四届ACM SIGACT-SIGPLAN编程语言原理研讨会论文集。纽约ACM出版社，第238-252页·Zbl 1046.68507号 [4] Clarke EM、Grumberg O、Jha S、Lu Y、Veith H（2000）《反示例引导的抽象求精》。收录于：CAV，计算机科学课堂讲稿，第1855卷。施普林格，第154-169页·Zbl 0974.68517号 [5] Comini M、Gallardo MM、Titolo L、Villanueva A（2015）《tccp通用属性抽象分析》。摘自：Falaschi M（ed）Logic-based Program Synthesis and Transformation，第25届国际研讨会，LOPSTR 2015。修订论文选集，计算机科学讲稿，第9527卷。施普林格，第163-178页·Zbl 1362.68044号 [6] Comini M，Titolo L，Villanueva A（2011），时间并发约束程序的抽象诊断。理论实践逻辑程序11（4-5）：487-502·Zbl 1222.68053号 [7] Comini M，Titolo L，Villanueva A（2013）一个浓缩的独立于目标的自下而上不动点，对tccp的行为进行建模。技术报告，DSIC，瓦伦西亚政治大学。http://riunet.upv.es/handle/10251/34328 [8] de Boer FS，Gabbrielli M，Meo MC（2000）一种定时并发约束语言。Inf计算161（1）:45-83·Zbl 1046.68507号 ·doi:10.1006/inco.1999.2879 [9] Falaschi M，Gabbrielli M，Marriott K，Palamidessi C（1993）并发约束编程的组合分析。摘自：第八届IEEE计算机科学逻辑年会论文集，美国加利福尼亚州洛斯阿拉米托斯，IEEE计算机社会出版社，第210-221页 [10] Falaschi M，Olarte C，Palamidessi C（2015）时间并发约束程序的抽象解释。理论与实践逻辑程序（TPLP）15（3）：312-357·Zbl 1379.68060号 ·doi:10.1017/S1471068413000641 [11] Falaschi M，Villanueva A（2006）定时并发约束程序的自动验证。理论实践逻辑程序6（3）：265-300·Zbl 1101.68679号 ·doi:10.1017/S1471068406002675 [12] Gallardo MM，Merino P，Pimentel E（2002）抽象模型检查LTL公式的改进。收录：静态分析，第九届国际研讨会，2002年9月17日至20日，西班牙马德里，SAS，2002，Proceedings，pp 395-410·Zbl 1015.68123号 [13] Saraswat VA（1993）并发约束编程。麻省理工学院出版社，剑桥·Zbl 1002.68026号 [14] Saraswat VA，Rinard M，Panangaden P（1991）并发约束编程的语义基础。摘自：第18届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。ACM，纽约，第333-352页 [15] Zaffanella E，Giacobazzi R，Levi G（1997），并发约束编程中的抽象同步。J功能逻辑程序（6）·Zbl 0924.68045号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。