艾尔维拉·阿尔伯特;安东尼奥·弗洛雷斯·蒙托亚;萨米尔·根奈姆;恩里克·马丁·马汀 May-happen基于参与者的并发并行分析。 （英语） Zbl 1367.68056号 ACM事务处理。计算。日志。 17，第2号，第11条，39页（2016年）. 引用于1文件 MSC公司： 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 68甲15 编程语言理论 关键词：演员;分析;并发;may-happen平行 软件：SACO公司;防抱死制动系统 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人，ACM Trans。计算。日志。17，第2号，第11条，39页（2016年；Zbl 1367.68056） 全文： 内政部 参考文献： [1] Shivali Agarwal、Rajkishore Barik、Vivek Sarkar和Rudrapatna K.Shyamasundar。2007年，May-happen对X10项目进行并行分析。第十二届ACM SIGPLAN并行编程原理与实践研讨会论文集（PPoPP’；07）。ACM，纽约州纽约市，183-193年。内政部：http://dx.doi.org/10.1145/1229428.1229471 ·数字对象标识代码：10.1145/1229428.1229471 [2] G.阿加。1986.参与者：分布式系统中的并发计算模型。麻省理工学院出版社，马萨诸塞州剑桥。 [3] A.V.Aho、R.Sethi和J.D.Ullman。1986年，编译器——原理、技术和工具。Addison-Wesley，纽约州纽约市·Zbl 1155.68020号 [4] 埃尔维拉·阿尔伯特（Elvira Albert）、普里·阿雷纳斯（Puri Arenas）、安东尼奥·弗洛雷斯·蒙托亚（Antonio Flores-Montoya）、萨米尔·根奈姆（Samir Genaim）、米格尔·G（Miguel G）ó；mez-Zamalloa、Enrique Martin-Martin、Germá；n Puebla和Guillermo Romá；n-Dí；ez。2014年a。SACO：并发对象的静态分析器。《第20届系统构造与分析工具与算法国际会议论文集》（TACAS’；14），计算机科学讲稿，ErikaÁ；布拉赫á；m和Klaus Havelund（编辑），第8413卷。柏林施普林格，562-567。内政部：http://dx.doi.org/10.1007/978-3-642-54862-8_46 ·Zbl 06400495号 ·doi:10.1007/978-3-642-54862-846 [5] 埃尔维拉·阿尔伯特，杰斯ú；s Correas和Guillermo Romá；n-Dí；ez。2014年b。分布式系统的峰值成本分析。第21届国际静态分析研讨会论文集（SAS’；14），计算机科学讲稿，Markus Mü；列尔·奥尔姆和赫尔穆特·塞德尔（编辑），第8723卷。施普林格，柏林，18-33。内政部：http://dx.doi.org/10.1007/978-3-319-10936-7_2 ·Zbl 06349448号 ·doi:10.1007/978-3-319-10936-7 [6] 埃尔维拉·阿尔伯特（Elvira Albert）、安东尼奥·弗洛雷斯·蒙托亚（Antonio Flores-Montoya）和萨米尔·根奈姆（Samir Genaim）。2012.并发对象中的May-Hupan-in-Parallel分析。在第14届IFIP WG 6.1分布式系统形式化技术联合国际会议（FMOODS’；12）和第32届IFIP工作组6.1国际会议（FORTE’，12）的会议记录中，《计算机科学讲稿》，Holger Giese和Grigore Rosu（编辑），第7273卷。柏林施普林格，35-51岁。内政部：http://dx.doi.org/10.1007/978-3642-30793-5_3 ·Zbl 06069558号 ·doi:10.1007/978-3-642-30793-53 [7] 埃尔维拉·阿尔伯特（Elvira Albert）、安东尼奥·弗洛雷斯·蒙托亚（Antonio Flores-Montoya）、萨米尔·根奈姆（Samir Genaim）和恩里克·马丁·马汀（Enrique Martin-Martin）。2013年，并行交织环路的终止和成本分析。在第十一届自动技术验证与分析国际研讨会（ATVA’；13）的会议记录中，计算机科学讲稿，Dang Van Hung和Mizuhito Ogawa（编辑），第8172卷。柏林施普林格，349-364。内政部：http://dx.doi.org/10.1007/978-3-319-02444-8_25 ·Zbl 1410.68080号 ·doi:10.1007/978-3-319-02444-8_25 [8] 埃尔维拉·阿尔伯特（Elvira Albert）、萨米尔·根奈姆（Samir Genaim）和巴勃罗·戈迪略（Pablo Gordillo）。2015年5月，对具有过程间同步的异步程序进行并行分析。第22届国际静态分析研讨会论文集（SAS’；15），计算机科学讲稿，Sandrine Blazy和Thomas Jensen（编辑），第9291卷。施普林格，72-89·Zbl 06489198号 ·doi:10.1007/978-3-662-48288-95 [9] 拉基肖尔·巴里克。2005.高效计算并发java程序的may-happen并行信息。《第18届并行计算语言和编译器国际研讨会论文集》（LCPC’；05）。修订论文选集，计算机科学课堂讲稿，爱德华·艾瓜德；，Gerald Baumgartner、J.Ramanujam和P.Sadayappan（编辑），第4339卷。柏林施普林格，152-169。 [10] Peter A.Buhr、Michel Fortier和Michael H.Coffin。1995年，监测分类。ACM计算调查27、1、63–107。内政部：http://dx.doi.org/10.1145/214037.214100 ·doi:10.145/214037.214100 [11] 戴夫·克拉克（Dave Clarke）、艾纳·约翰森（Einar Johnsen）和奥拉夫·奥韦（Olaf Owe）。2010.并发对象à；点菜。《并发性、组成性和正确性》，丹尼斯·达姆斯（Dennis Dams）、乌尔里希·汉内曼（Ulrich Hannemann）和马丁·斯特芬（Martin Steffen）（编辑）。计算机科学讲义，第5930卷。施普林格，柏林，185-206。http://dx.doi.org/10.1007/978-3642-11512-7_12。 ·Zbl 1274.68058号 ·doi:10.1007/978-3642-11512-7_12 [12] 拜伦·库克（Byron Cook）、安德烈亚斯·波德尔斯基（Andreas Podelski）和安德烈·里巴尔琴科（Andrey Rybalchenko）。2007.证明螺纹终止。2007年ACM SIGPLAN编程语言设计与实现会议记录（PLDI’；07）。ACM，纽约州纽约市，320–330。内政部：http://dx.doi.org/10.1145/1250734.1250771 ·Zbl 1141.68365号 ·数字对象标识代码：10.1145/1250734.1250771 [13] P.库索和R.库索。完备格上所有收缩、预闭包、拟闭包和闭包算子的格的构造性特征。葡萄牙æ；Mathematica数学38、2、185–198·Zbl 0503.06008号 [14] Frank S.de Boer、Dave Clarke和Einar Broch Johnsen。2007年，《未来完整指南》。第16届欧洲程序设计研讨会《程序设计语言和系统会议录》，ESOP’；07，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS’；2007年3月24日至4月1日，葡萄牙布拉加07，计算机科学讲稿，Rocco de Nicola（编辑），第4421卷。柏林施普林格，316-330·Zbl 1475.68045号 ·doi:10.1007/978-3-540-71316-6_22 [15] 伊芙琳·杜斯特瓦尔德（Evelyn Duesterwald）和玛丽·卢·索法（Mary Lou Soffa）。1991年，使用数据流框架在程序存在下进行并发分析。《测试、分析和验证研讨会论文集》（TAV4）。ACM，纽约州纽约市，36-48。内政部：http://dx.doi.org/10.1145/120807.120811 ·doi:10.1145/120807.120811 [16] Michael Emmi、Akash Lal和Shaz Qadeer。2012.具有优先任务缓冲区的异步程序。ACM SIGSOFT第20届软件工程基础国际研讨会论文集（FSE’；12）。ACM，纽约州纽约市，第48条，11页。内政部：http://dx.doi.org/10.1145/2393596.2393652 ·doi:10.1145/2393596.2393652 [17] 安东尼奥·弗洛雷斯·蒙托亚（Antonio Flores-Montoya）、埃尔维拉·阿尔伯特（Elvira Albert）和萨米尔·根奈姆（Samir Genaim）。2013.可能发生在基于并行的并发对象死锁分析中。《分布式系统的形式化技术》（FMOODS/FORTE’；13），《计算机科学讲义》，Dirk Beyer和Michele Boreale（编辑），第7892卷。柏林施普林格，273-288。http://dx.doi.org/10.1007/978-3-642-38592-6_19 ·Zbl 06294488号 ·doi:10.1007/978-3-642-38592-6_19 [18] Graeme Gange、Jorge A.Navas、Peter Schachte、Harald Sø；ndergaard和Peter J.Stuckey。2013.非格抽象域的抽象解释。第20届国际静态分析研讨会论文集，SAS 2013，Francesco Logozzo和Manuel Fä；hndrich（编辑），第7935卷。柏林施普林格，6–24。内政部：http://dx.doi.org/10.1007/978-3642-38856-9_3 ·Zbl 06248429号 ·doi:10.1007/978-3-642-38856-93 [19] 菲利普·哈勒和马丁·奥德斯基。2009.Scala参与者：统一基于线程和基于事件的编程。理论计算机科学410，2–3 202–220。内政部：http://dx.doi.org/10.1016/j.tcs.2008.09.019 ·Zbl 1162.68396号 ·doi:10.1016/j.tcs.2008.09.019 [20] Matthew S.Hecht和Jeffrey D.Ullman。1973.全球数据流问题的简单算法分析。第1届ACM SIGACT-SIGPLAN编程语言原理年度研讨会论文集（POPL’；73）。ACM，纽约州纽约市，207–217。内政部：http://dx.doi.org/10.1145/512927.512946 ·Zbl 0309.68036号 ·doi:10.1145/512927.512946 [21] Einar Broch Johnsen，Reiner Hä；hnle，Jan Schä；费尔、鲁道夫·施拉特和马丁·斯特芬。2012.ABS：抽象行为规范的核心语言。第九届组件和对象形式化方法国际研讨会论文集（FMCO’；10）。修订论文，计算机科学讲稿，Bernhard K.Aichernig，Frank S.de Boer和Marcello M.Bonsange（编辑），第6957卷。施普林格，柏林，142-164。 [22] John B.Kam和Jeffrey D.Ullman。1976年，全球数据流分析和迭代算法。ACM期刊23，1158-171。内政部：http://dx.doi.org/10.1145/321921.321938 ·Zbl 0315.68031号 ·数字对象标识代码：10.1145/321921.321938 [23] Jonathan K.Lee、Jens Palsberg、Rupak Majumdar和Hong。2012.高效的异步并行并行分析可能会发生。在静态分析中，Antoine Miné；和David Schmidt（编辑），《计算机科学讲义》，第7460卷。柏林施普林格，5-23。内政部：http://dx.doi.org/10.1007/978-3642-33125-14 ·Zbl 06105894号 ·doi:10.1007/978-3-642-33125-14 [24] Jonathan K.Lee和Jens Palsberg，2010年。Featherweight X10：异步-完全并行的核心演算。《并行编程原理与实践》（PPoPP’；10）。ACM，纽约州纽约市，25-36·doi:10.1145/1693453.1693459 [25] 林莉和克拉克·维尔布鲁奇。2004。并发Java程序的实用MHP信息分析。高性能计算语言与编译器，第17届国际研讨会，LCPC’；2004年9月22日至24日，美国印第安纳州西拉斐特04号，《计算机科学修订论文集、讲稿》，鲁道夫·艾根曼、李志远和塞缪尔·米奇夫（编辑），第3602卷。柏林施普林格，194-208年。 [26] 斯蒂芬·马斯蒂科拉（Stephen P.Masticola）。1993年。多项式时间死锁的静态检测。博士论文。美国新泽西州新不伦瑞克罗格斯大学。http://dl.acm.org/citation.cfm？id和equals;194282&CFID&等于&等于；568373654&CFTOKEN等于&等于；93584834 [27] 斯蒂芬·马斯蒂科拉（Stephen P.Masticola）和芭芭拉·赖德（Barbara G.Ryder）。1993年，非货币分析。第四届ACM SIGPLAN并行编程原理与实践研讨会论文集（PPOPP’；93）。ACM，纽约州纽约市，129–138。内政部：http://dx.doi.org/10.1145/1555332.155346 ·数字标识代码：10.1145/155332.155346 [28] 阿娜·米拉诺娃（Ana Milanova）、阿塔娜斯·鲁恩特夫（Atanas Rountev）和芭芭拉·莱德（Barbara G.Ryder）。2002.Java的点对点分析和副作用分析的参数化对象敏感性。2002年ACM SIGSOFT国际软件测试与分析研讨会论文集（ISSTA’；02）。ACM，纽约州纽约市，1-11。内政部：http://dx.doi.org/10.1145/566172.566174 ·doi:10.1145/566172.566174 [29] Mayur Naik、Chang-Seo Park、Koushik Sen和David Gay。2009.有效的静态死锁检测。第31届国际软件工程会议论文集（ICSE’；09）。IEEE计算机学会，华盛顿特区，386–396。内政部：http://dx.doi.org/10.109/ICSE.2009.5070538 ·doi:10.1109/ICSE.2009.5070538 [30] Gleb Naumovich和George S.Avrunin。1998年。一种保守的数据流算法，用于检测可能并行发生的所有语句对。SIGSOFT软件工程注释23、6、24–34。288213 [31] Gleb Naumovich、George S.Avrunin和Lori A.Clarke，1999年。一种计算并发Java程序MHP信息的有效算法。SIGSOFT软件工程注释24、6、338–354。319252 [32] F.尼尔森、H.R.尼尔森和C.汉金。2005年，《项目分析原则》（第二版）。斯普林格·Zbl 1069.68534号 [33] 本杰明·皮尔斯。1994.过程微积分中的并发对象。《并行编程理论与实践论文集》，TPPP’；94，日本仙台，1994年11月7日至9日，计算机科学讲义，第907卷。柏林施普林格，187-215。 [34] 科内利厄·波皮亚和安德烈·里巴尔琴科。2012.多线程程序的组合终止证明。《第18届系统构建与分析工具与算法国际会议论文集》（TACAS’；12）。柏林施普林格，237-251。内政部：http://dx.doi.org/10.1007/978-3642-28756-5_17 ·Zbl 1352.68067号 ·doi:10.1007/978-3-642-28756-5_17 [35] G.拉马林根。2000.上下文敏感同步敏感分析无法确定。美国计算机学会编程语言与系统学报22，2，416–430。内政部：http://dx.doi.org/10.1145/349214.349241 ·doi:10.1145/349214.3492241 [36] 理查德·泰勒（Richard N.Taylor）。1983.分析并发程序同步结构的复杂性。信息学报19、1、57–84。内政部：http://dx.doi.org/10.1007/BF00263928 ·Zbl 0487.68022号 ·doi:10.1007/BF00263928 [37] 约翰·惠利（John Whaley）和莫妮卡·兰姆（Monica S.Lam）。2004.使用二进制决策图进行基于克隆的上下文敏感指针别名分析。《2004年ACM SIGPLAN编程语言设计与实现会议论文集》（PLDI’；04）。ACM，纽约州纽约市，131-144。内政部：http://dx.doi.org/10.1145/996841.996859 ·doi:10.1145/996841.996859 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。