×

兹马思-数学第一资源

探索条件重写逻辑计算。(英语) Zbl 1315.68166
摘要:跟踪探索与允许计算跟踪动态搜索特定内容的技术有关。根据勘探是向后还是向前推进,追踪勘探技术允许进行物源追踪或影响追踪。起源跟踪的目的是显示程序输出(部分)如何依赖其输入,并帮助估计哪些输入数据需要修改以实现结果的更改。影响跟踪的目的是确定更改程序输入的范围和潜在后果。重写逻辑(rewritinglogic,RWL)是一种变化逻辑,它通过添加用于描述状态之间(不确定的)转换的重写规则来补充(扩展)等式逻辑。在这篇文章中,我们提出了一个丰富的,高度动态的,参数化的技术来向前检查RWL计算,允许以不同的方式跟踪给定条件重写理论的不确定性执行。通过这种技术,分析员可以在程序执行期间浏览、切片、过滤或搜索跟踪。跟踪的导航由用户定义的、指定所需勘探模式的检查标准驱动。通过选择不同的检查标准,可以自动导出一系列实用的算法,如程序步进器和更复杂的动态跟踪切片器,这些算法计算树的摘要,从而有助于动态检测树上的控制和数据依赖关系。我们的方法是在Anima图形工具中实现的,它允许用户单独评估给定语句或指令的效果,跟踪输入更改的影响,并深入了解程序行为(或错误行为)。

理学硕士:
68Q42号 语法与重写系统
03B70型 计算机科学中的逻辑
68N30型 软件工程的数学方面(规范、验证、度量、需求等)
PDF格式 双歧杆菌 XML 引用
全文: 内政部
参考文献:
[1] Abadi,M.;Lampson,B.;Lévy,J.-J.,依赖关系的分析和缓存,ACM SIGPLAN Not.,31,6,83-91,(1996)·Zbl 1344.68046
[2] Alpuente,M.;Ballis,D.;Falaschi,M.;Romero,D.,《修复故障网站的半自动方法》,《第四届IEEE软件工程和形式化方法国际会议论文集》(SEFM 2006),(2006),IEEE计算机学会出版社,31-40
[3] Alpunte,M.;Ballis,D.;Romero,D.,《重写逻辑中web应用程序的规范和验证》,(第16届形式方法国际研讨会论文集(FM 2009),《计算机科学讲座笔记》(LNCS),第5850卷,(2009年),Springer Verlag),790-805
[4] Alpuente,M.;Ballis,D.;Baggi,M.;Falaschi,M.,《扩展到CCT的重写理论的折叠/展开转换框架》,(第19届ACM SIGPLAN关于部分评估和程序操作的研讨会论文集》(PEPM 2010),(2010),计算机械协会,43-52
[5] Alpuente,M.;Ballis,D.;Espert,J.;Romero,D.,《使用web TLR进行模型检查的web应用程序》,《第八届自动验证和分析技术国际研讨会论文集》(ATVA 2010),《计算机科学讲座笔记》(LNCS),第6252卷,(2010年),Springer Verlag),341-346页
[6] Alpuente,M.;Ballis,D.;Espert,J.;Frechina,F.;Romero,D.《利用web-TLR调试web应用程序》(第七届网络系统自动化规范与验证国际研讨会论文集(WWV 2011),《理论计算机科学电子会议录》,第61卷,(2011年),开放出版协会,66-80
[7] Alpuente,M.;Ballis,D.;Frechina,F.;Romero,D.,《条件重写理论的反向跟踪切片》,(第18届编程、人工智能和推理国际会议论文集(LPAR 2012),《计算机科学讲座笔记》(LNCS),第7180卷,(2012年),Springer Verlag),62-76页·Zbl 1352.68120号
[8] Alpuente,M.;Ballis,D.;Frechina,F.;Romero,D.,Julienne:条件重写理论的跟踪切片器,(第18届形式方法国际研讨会论文集(FM 2012),《计算机科学讲座笔记》(LNCS),第7436卷,(2012年),Springer Verlag),28-32页
[9] alpunte,M.;Ballis,D.;Falaschi,M.;Frechina,F.;Romero,D.《XML存储库基于重写的修复策略》,J.Log。阿尔及利亚。程序,82828326-352,(2013年)·Zbl 1283.68130号
[10] Alpuente,M.;Ballis,D.;Frechina,F.;Sapiña,J.,《重写逻辑计算的参数探索》,(第五届软件科学符号计算国际研讨会论文集(SCSS 2013),EasyChair计算论文集(EPiC),第15卷,(2013),EasyChair),4-18
[11] Alpuente,M.;Ballis,D.;Frechina,F.;Sapiña,J.,《用scijulienne重写逻辑规范的基于切片的跟踪分析》,《第22届欧洲编程研讨会(ESOP 2013)》第7792卷(2013年),Springer Verlag),121-124页
[12] Alpuente,M.;Ballis,D.;Frechina,F.;Romero,D.,《使用条件跟踪切片改进maude程序》,Sci。计算机。程序,80,B部分,385-415,(2014)
[13] Alpuente,M.;Ballis,D.;Frechina,F.;Sapiña,J.,《检查重写逻辑计算(以参数化和逐步的方式),(规范、代数和软件-Kokichi Futatsugi专题论文集》(SAS 2014),《计算机科学讲座笔记》(LNCS),第8373卷,(2014年),Springer Verlag),229-255·Zbl 1407.68097
[14] Alpunte,M.;Ballis,D.;Romero,D.,《web应用程序形式化规范和验证的重写逻辑方法》,Sci。计算机。计划,8179-107,(2014年)
[15] Baader,F.;Snyder,W.,《统一理论》,(Robinson,J.A.;Voronkov,A.,《自动推理手册》,第一卷,(2001年),爱思唯尔科学出版社,447-533·Zbl 1011.68126
[16] Baggi,M.;Ballis,D.;Falaschi,M.,《计算生物学定量路径逻辑》,(第七届系统生物学计算方法国际会议论文集(CMSB 2009),《计算机科学讲座笔记》(LNCS),第5688卷,(2009年),Springer Verlag),68-82页
[17] Bethke,I.;Klop,J.W.;Vrijer,R.d.,《术语重写中的后代和起源》,Inf.Comput.,159,1-2,59-124,(2000)·Zbl 1046.68564
[18] Bruni,R.;Meseguer,J.,《广义重写理论的语义基础》,理论。计算机。科学,360,1-3,386-414,(2006年)·Zbl 1097.68051
[19] Cheney,J.;Ahmed,A.;Acar,U.A.,《起源作为依赖性分析》,数学。结构。计算机。《科学》第21、6、1301-1337页,(2011年)·Zbl 1252.68076
[20] Clavel,M.;Durán,F.;Eker,S.;Lincoln,P.;MartíOliet,n.;Meseguer,J.;Talcott,C.,《关于maude:高性能逻辑框架》(2007),Springer Verlag·Zbl 1115.68046
[21] Clavel,M.;Durán,F.;Eker,S.;Lincoln,P.;MartíOliet,n.;Meseguer,J.;Talcott,C.,《Maude手册》(2.6版),(2011年),SRI国际计算机科学实验室,可在
[22] Clements,J.;Flatt,M.;Felleisen,M.,《代数步进器建模》,《第十届欧洲程序设计研讨会论文集》(ESOP 2001),《计算机科学讲座笔记》(LNCS),第2028卷,(2001年),Springer Verlag),320-334页·6870ZB095升
[23] Durán,F.;Meseguer,J.,《条件顺序排序重写理论的maude一致性检验工具》,(第八届重写逻辑及其应用国际研讨会论文集(WRLA 2010),《计算机科学讲座笔记》(LNCS),第6381卷,(2010年),Springer Verlag),86-103·Zbl 1306.68066
[24] Eker,S.,通过二部图匹配进行联想交换匹配,计算机。J、 ,38,5,381-399,(1995年)
[25] Eker,S.,关联交换重写大术语(第14届重写技术与应用国际会议论文集,2003),计算机科学讲座笔记,第2706卷,(2003),Springer Verlag,14-29·Zbl 1038.68560
[26] Eker,S.,2014年。个人沟通。
[27] 费伊,M.,《等式理论中的一阶统一》,《第四届自动演绎国际会议论文集》(CADE 1979),(1979),学术出版社,第161-167页
[28] Field,J.;Tip,F.,《术语重写系统中的动态依赖及其在程序切片中的应用》,《第六届编程语言实现和逻辑编程国际研讨会论文集》(PLILP 1994),计算机科学讲义(LNCS),第844卷,(1994年),Springer Verlag),415-431
[29] Huet,G.;Lévy,J.-J.,《非组合线性项重写系统中按需调用的计算》(1979),INRIA,技术代表359
[30] Klop,J.,术语重写系统(1990),数学和计算机科学中心,技术代表CS-R9073
[31] Klop,J.,《术语重写系统》(Abramsky,S.;Gabbay,D.;Maibaum,T.,《计算机科学逻辑手册》,第一卷,(1992年),牛津大学出版社,1-112
[32] 《重写逻辑:路线图和书目》,理论。计算机。科学,285,221-154,(2002年)·Zbl 1027.68613
[33] Meseguer,J.,条件重写逻辑作为并发的统一模型,理论。计算机。科学,96,1,73-155,(1992)·Zbl 0758.68043
[34] O'Donnell,M.J.,方程描述系统中的计算,计算机科学课堂讲稿(LNCS),第58卷,(1977年),Springer Verlag·Zbl 0421.68038
[35] 《结构操作语义学的起源》,J.Log。阿尔及利亚。程序,60-61,1,3-15,(2004年)·Zbl 1072.68063
[36] Riesco,A.;Verdejo,A.;Caballero,R.;MartíOliet,N.,《重写逻辑规范的声明性调试》,(第19届代数开发技术国际研讨会论文集(WADT 2008),《计算机科学讲座笔记》(LNCS),第5486卷,(2009年),Springer Verlag),308-325页·Zbl 1253.68097
[37] Riesco,A.;Verdejo,A.;MartíOliet,N.,《maude缺失答案的声明性调试》,《第21届重写技术与应用国际会议论文集》(RTA 2010),LIPIcs,第6卷,(2010年),Schloss Dagstuhl-Leibniz Zentrum für Informatik),277-294·Zbl 1236.68146
[38] Riesco,A.;Verdejo,A.;MartíOliet,N.;Caballero,R.,《重写逻辑规范的声明性调试》,J.Log。阿尔及利亚。计划,81,7-8,851-897,(2012年)·兹布1279.68220
[39] Riesco,A.;Asavoae,I.M.;Asavoae,M.,《基于语言定义的通用程序切片技术》,《第21届代数开发技术国际研讨会论文集》(WADT 2012),《计算机科学讲座笔记》(LNCS),第7841卷,(2013年),Springer Verlag),248-264页·Zbl 1394.68084
[40] Sabelfeld,A.;Myers,A.,《基于语言的信息流安全》,IEEE J.Sel。地区公社,21,1,5-19,(2003)
[41] Slagle,J.,《用简单化器、交换性和结合性理论的自动定理证明》,J.ACM,21,4,622-642,(1974)·中银0296.68092
[42] TeReSe,学期改写系统(2003),剑桥大学出版社
[43] Tip,F.,程序切片技术综述,J.program。朗,3,3,121-189,(1995年)
[44] Van Deursen,A.;Klint,P.;Tip,F.《原点追踪》,J.Symb。计算机,15,5-6,523-545,(1993年)·Zbl 0804.68088
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。