莫雷诺，法拉斯基;毛里齐奥·加布里埃利;卡洛斯·奥拉特;卡图西亚帕拉米德斯 并发约束语言的动态切片。 （英语） 兹比尔1497.68098 芬丹。通知。 177，编号3-4，331-357（2020）. 概要：并发约束编程（CCP）是一种并发的声明模型，代理通过在共享存储中告知和询问约束（信息片段）进行交互。以前的一些工作已经为CCP语言开发了（近似的）声明式调试器。然而，调试并发程序的任务仍然很困难。在本文中，我们为CCP（和其他语言变体）定义了一个动态切片器，并证明它是现有调试技术的一个有用的配套工具。我们从显示错误存在的部分计算（跟踪）开始。通常，这样一个跟踪中的信息量是巨大的，用户很容易丢失，因为她无法专注于错误的来源。我们的切片器允许标记部分计算状态，并帮助用户消除大部分冗余信息，以便突出显示错误。我们表明，该技术可以定制为CCP的几种变体，例如时间语言ntcc、线性CCP（基于线性逻辑的CCP扩展，其中可以使用约束）以及处理认知和空间信息的CCP的一些扩展。我们还开发了一个可免费用于进行实验的原型实现。 引用于1文件 MSC公司： 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：并发约束编程;程序切片;调试 软件：壁龛 PDF格式BibTeX公司 XML格式引用 \textit{M.Falaschi}等人，Fundam。通知。177，编号3-4-331-357（2020；兹bl 1497.68098） 全文： 内政部 arXiv公司 参考文献： [1] Saraswat VA。并发约束编程。麻省理工学院出版社，1993年。国际标准图书编号9780262527996·Zbl 1002.68026号 [2] Saraswat VA、Rinard MC、Panangaden P.并发约束编程的语义基础。收录于：Wise DS（编辑），POPL'91：第18届ACM编程语言原理研讨会论文集。1991年，第333-352页。doi（操作界面）：http://doi.acm.org/10.1145/99583.99627。 [3] Olarte C、Rueda C、Valencia FD。并发约束编程的模型和新兴趋势。约束，2013.18（4）：535-578。doi（操作界面）：https://doi.org/10.1007/s10601-013-9145-3。 ·Zbl 1317.90283号 [4] Bortolussi L，Policiti A.随机并发约束规划中的生物系统建模。约束，2008.13（1-2）：66-90。doi（操作界面）：http://dx.doi.org/10.1007/s10601-007-9034-8。 ·Zbl 1144.92001号 [5] Saraswat VA、Jagadeesan R、Gupta V.定时默认并发约束编程。J.塞姆。计算。，1996.22(5/6):475-520. doi:10.1006/jsco.1996.0064·Zbl 0876.68041号 [6] Nielsen M、Palamidessi C、Valencia FD。时间并发约束编程：表示、逻辑和应用。Nord.J.计算。，2002.9(1):145-188. ·Zbl 1018.68019号 [7] de Boer FS，Gabbrielli M，Meo MC。一种时间并发约束语言。信息计算。，2000. 161(1):45-83. doi（操作界面）：http://dx.doi.org/10.1006/inco.1999.2879。 ·Zbl 1046.68507号 [8] Olarte C，巴伦西亚FD。通用并发约束编程：符号语义和安全应用。摘自：Wainwright RL，Haddad H（编辑），2008年ACM应用计算研讨会（SAC）会议记录。ACM公司。ISBN 978-1-59593-753-7，2008年，第145-150.doi页：http://doi.acm.org/10.1145/1363686.1363726。 [9] Knight S、Palamidessi C、Panangaden P、Valencia FD。基于约束的过程演算中的空间和认识模式。收录：Koutny M，Ulidowski I（编辑），CONCUR，《计算机科学体系结构笔记》第7454卷。施普林格，2012年，第317-332页。doi（操作界面）：http://dx.doi.org/10.1007/978-3642-32940-1 23. ·Zbl 1364.68290号 [10] Olarte C，Pimentel E，Nigam V.亚指数并发约束规划。西奥。计算。科学。，2015.606:98-120. doi:10.1016/j.tcs.2015.06.031·Zbl 1332.68027号 [11] Codish M，Falaschi M，Marriott K。并发逻辑程序的暂停分析。美国计算机学会程序设计语言与系统汇刊，1994.16（3）：649-686。doi（操作界面）：https://doi.org/10.1145/177492。177656 [12] Comini M，Titolo L，Villanueva A.时间并发约束程序的抽象诊断。逻辑程序设计理论与实践，2011.11（4-5）：487-502.doi：https://doi.org/10.1017/S147106841100135·Zbl 1222.68053号 [13] Falaschi M，Olarte C，Palamidessi C。时间并发约束程序的抽象解释。逻辑程序设计理论与实践，2015.15（3）：312-357。doi:10.1017/S1471068413000641·Zbl 1379.68060号 [14] 夏皮罗EY。算法程序DeBugging。麻省理工学院出版社，1983年。国际标准图书编号9780262693073·Zbl 0589.68003号 [15] Weiser M.程序切片。IEEE传输。软件工程，1984.10（4）：352-357·Zbl 0552.68004号 [16] Korel B，Laski J.动态程序切片。信息处理。莱特。，1988.29(3):155-163. doi:10.1016/0020-0190（88）90054-3·Zbl 0656.68018号 [17] Ochoa C，Silva J，Vidal G.基于Redex Trails的惰性函数程序的动态切片。高阶符号。计算。，2008.21(1-2):147-192. doi:10.1007/s10990-008-9023-7·Zbl 1192.68139号 [18] Alpunte M，Ballis D，Espert J，Romero D。重写逻辑理论的向后轨迹切片。In：程序。2011年CADE的。Springer-Verlag，柏林，海德堡。ISBN 978-3-642-22437-9，2011年，第34-48页。数字对象标识：https://doi.org/10.1007/978-3-642-22438-6 5. ·Zbl 1341.68026号 [19] Alpunte M，Ballis D，Frechina F，Romero D。使用条件跟踪切片改进Maude程序。科学。计算。程序。，2014.80:385-415. doi:10.1016/j.scico.2013.09.018。 [20] Josep S.基于程序切片技术的词汇。ACM计算。调查。，2012.44(3):12:1- 12:41. doi（操作界面）：https://doi.org/10.1145/2187671.2187674。 ·Zbl 1293.68081号 [21] Falaschi M、Gabbrielli M、Olarte C、Palamidessi C。切片并发约束程序。摘自：Hermenegildo MV，L´opez-Garc´a P（编辑），Proc。LOPSTR 2016，计算机科学讲稿第10184卷。施普林格，2017年，第76-93页。doi（操作界面）：https://doi.org/10.1007/978-3-319-63139-4 5. ·Zbl 1485.68046号 [22] de Boer FS，Pierro AD，Palamidessi C.约束编程中的不确定性和无限计算。理论计算机科学，1995.151（1）：37-78。doi（操作界面）：网址：http://dx.doi.org/10.1016/0304-3975（95）00047-Z·Zbl 0872.68103号 [23] Hentenryck PV，Saraswat VA，Deville Y.约束语言cc（FD）的设计、实现和评估。J.日志。程序。，1998.37(1-3):139-164. ·Zbl 0920.68026号 [24] 约束系统的类别是笛卡尔闭的。摘自：第七届计算机科学逻辑年度研讨会论文集（LICS’92）。IEEE计算机学会，1992年，341-345页。doi:10.1109/LICS.1992.185546。 [25] Smolka G.高阶并发约束编程的基础。收录于：Jouannaud J（编辑），《计算逻辑中的约束程序》，计算机科学讲稿第845卷。施普林格，1994年，第50-72页。doi（操作界面）：http://dx.doi.org/10.1007/BFb0016844。 ·Zbl 1495.68044号 [26] Girard J.线性逻辑。西奥。计算。科学。，1987.50:1-102. doi（操作界面）：http://dx.doi.org/10.1016/0304-3975（87）90045-4。 [27] Fages F，Ruet P，Soliman S.线性并发约束编程：操作和阶段语义。信息计算。，2001.165(1):14-41. ·Zbl 1003.68065号 [28] Ruet P，Fages F.并发约束编程和非交换逻辑。收录：Nielsen M，Thomas W（编辑），CSL’97会议录，计算机科学讲稿第1414卷。斯普林格，1998年，第406-423页。doi:10.1007/BFb0028028·Zbl 0908.03033号 [29] Berry G，Gonthier G.ESTEREL同步编程语言：设计，语义，实现。计算机程序设计科学，1992.19（2）：87-152。doi（操作界面）：https://doi.org/10.1016/0167-6423（92）90005-V·Zbl 0772.68013号 [30] Saraswat VA，Jagadeesan R，Gupta V.时间并发约束编程基础。在：第九届计算机科学逻辑年度研讨会论文集（LICS’94。IEEE计算机学会，1994年，第71-80页。doi:10.1109/LICS.1994.316085·Zbl 0942.68539号 [31] Nielsen M、Palamidessi C、Valencia FD。关于时间并发约束程序的表达能力。语言。In：程序。PPDP’02的。ACM，2002年，第156-167页。doi:10.1145/571157.571173。 [32] Olarte C，Pimentel E.关于并发行为和线性逻辑的关注。西奥。计算。科学。，2017. 685:46-64. doi:10.1016/j.tcs.2016.08.026·Zbl 1371.68197号 [33] Olarte C，Pimentel E，Rueda C。访问权限的并发约束编程解释。逻辑程序设计理论与实践，2018.18（2）：252-295。doi:10.1017/S1471068418000017·Zbl 1478.68056号 [34] 化学家M.Les Math’matiques Naturelles。奥迪尔·雅各布，2007年。 [35] Olarte C、Rueda C、Sarria G、Toro M、Valencia FD。音乐交互的并发约束模型。摘自：Assayg G，Truchet C（编辑），《音乐中的约束编程》，第133-153页。威利，2011年。 [36] Guzm´an M、Haar S、Perchy S、Rueda C、Valencia FD。在空间和挤压的代数中，信仰、知识、谎言和其他话语。J.日志。阿尔盖布。方法。程序。，2017.86(1):107-133. doi:10.1016/j.jlamp.2016.09.001·Zbl 1353.68203号 [37] Falaschi M，Olarte C.分割约束逻辑语言的断言语言。收录：Mesnard F，Stuckey P（编辑），《2018年LOPSTR会议录》，计算机科学讲稿第11408卷。施普林格，柏林，海德堡，2019年，第148-165页。doi（操作界面）：https://doi.org/10.1007/978-3-030-13838-7 9. ·Zbl 1524.68064号 [38] Jaffar J、Maher MJ、Marriott K、Stuckey PJ。约束逻辑程序的语义。J.日志。程序。，1998.37(1-3):1-46. doi（操作界面）：https://doi.org/10.1016/S0743-1066（98）10002-X·Zbl 0920.68068号 [39] Falaschi M，Olarte C，Palamidessi C，Valencia F.时间并发约束程序的声明性诊断。作者：Dahl V，Niemel–a I（编辑），Proc。ICLP 2007年第4670卷计算机科学讲稿。施普林格，2007年，第271-285页。doi（操作界面）：https://doi.org/10.1007/978-3-540-74610-219·Zbl 1213.68204号 [40] Bodei C、Brodo L、Gori R、Levi F、Bernini A、Hermith D。Brane Calculi的静态分析，提供全局发生计数信息。理论计算机科学，2017.696:11-51。doi:https://doi.org/10.1016/j.tcs.2017.07.008·Zbl 1383.92032号 [41] Bodei C、Brodo L、Gori R、Hermith D、Levi F.Brane Calculi的全球发生计数分析。In：程序。LOPSTR 2015，计算机科学讲稿第9527卷。施普林格，2015年，第179-200页。doi（操作界面）：https://doi.org/10.1007/978-3-319-27436-2 11. ·Zbl 1417.68118号 [42] Bodei C、Brodo L、Focardi R.攻击重建的静态证据。In：程序。《生物和安全应用程序设计语言》，计算机科学讲义第9465卷。斯普林格，2015年，第162-182页。doi（操作界面）：http://doi-org-443.webvpn.fjmu.edu.cn/10.1007/978-3-319-25527-9 12. ·Zbl 1437.94051号 [43] Olarte C，Chiarugi D，Falaschi M，Hermith D。生物化学系统中空间和时间依赖性的证明论观点。西奥。计算。科学。，2016.641:25-42. doi（操作界面）：https://doi.org/10.1016/j.tcs.2016.03。 029. ·Zbl 1344.68140号 [44] Chiarugi D、Falaschi M、Hermith D、Olarte C、Torella L。生物化学反应中非马尔科夫动力学建模。BMC系统生物学，2015.9（S-3）：S8。doi（操作界面）：https://doi.org/10.1186/1752-0509-9-S3-S8。 ·Zbl 1351.68157号 [45] Bernini A、Brodo L、Degano P、Falaschi M、Hermith D。生物过程的过程计算。自然计算，2018.17（2）：345-373。doi（操作界面）：https://doi.org/10.1007/s11047-018-9673-2。 [46] Brodo L，Olart C.《链接演算中多方交互的符号语义》。收件人：Steffen B、Baier C、van den Brand M、Eder J、Hinchey M、Margaria T（编辑）、Proc。SOFSEM 2017，《计算机科学讲义》第10139卷。施普林格，2017年，第62-75页。doi（操作界面）：https://doi.org/10.1007网址/978-3-319-51963-0 6·Zbl 1433.68241号 [47] 布罗多·L。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。