×
拉斐尔·卡巴列罗;马丁·奥列特，纳西索;阿德里安·里斯科;阿尔贝托·维尔德乔

Maude功能模块的声明式调试器。 （英语） 兹比尔1347.68073

Grigore（编辑），《第七届重写逻辑及其应用国际研讨会论文集》（WRLA 2008），匈牙利布达佩斯，2008年3月29日至30日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》238，第3期，63-81（2009）。
摘要：提出了一种用于Maude功能模块的声明性调试器，该调试器对应于成员等价逻辑中的可执行规范。声明性调试从错误的计算开始，构建一个调试树作为计算的逻辑表示，然后通过向外部预言器提问来遍历该树，直到发现错误。我们总结了为定向等式和成员关系推断构建适当的调试树的方法，其中所有正确性不需要任何理由的节点都被折叠了。Maude的反射特性允许我们使用Maude本身的操作生成和导航Maude计算的调试树；甚至可以用这种方式指定声明性调试器的用户界面。我们介绍了调试器的主要功能，例如两种不同的策略来遍历调试树，使用正确的模块来减少向用户提出的问题数量，通过标签选择可信与可疑语句，以及“即时”信任语句。
关于整个系列，请参见[Zbl 1279.68017号].

引用于6文件

MSC公司：

68纳米30 软件工程的数学方面（规范、验证、度量、需求等）
第68季度第42季度 语法和重写系统
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

声明性调试;隶属度方程逻辑;莫德;功能模块;元级实现

软件：

莫德
PDF格式BibTeX公司 XML格式引用
\textit{R.Caballero}等人，《电子》。注释Theor。计算。科学。238，第3号，63--81（2009；Zbl 1347.68073）
全文： 内政部

参考文献：

[1] Alpunte，M。；科米尼，M。；埃斯科瓦尔，S。；法拉斯基，M。；Lucas，S.，功能程序的抽象诊断，（Leuschel，M.，《基于逻辑的程序合成和转换》，《基于逻辑学的程序合成与转换》，计算机科学讲义，第2664卷（2002），Springer），1-16·Zbl 1278.68056号
[2] 布胡拉，A。；Jouannaud，J.-P。；Meseguer，J.，《隶属关系方程逻辑的规范和证明》，《理论计算机科学》，23635-132（2000）·Zbl 0938.68057号
[3] Caballero，R.，约束函数逻辑程序错误答案的声明性调试器，（WCFLP’05：2005年ACM SIGPLAN Curry和函数逻辑编程研讨会论文集
[4] R.Caballero、N.Martí-Oliet、A.Riesco和A.Verdejo。Maude功能模块的声明性调试。技术报告SIC-4/07，博士。2007年马德里Complutense大学信息与计算学院。http://maude.sip.ucm.es/debugging; R.Caballero、N.Martí-Oliet、A.Riesco和A.Verdejo。Maude功能模块的声明性调试。技术报告SIC-4/07，博士。2007年马德里Complutense大学信息与计算学院。http://maude.sip.ucm.es/debugging ·Zbl 1347.68073号
[5] 卡巴列罗，R。；Rodríguez-Artalejo，M.，《DDT：函数逻辑语言的声明性调试工具》，（第七届函数和逻辑编程国际研讨会（FLOPS'04）。程序。第七届函数与逻辑编程国际研讨会（FLOPS’04），计算机科学讲稿，第2998卷（2004），施普林格出版社，70-84·Zbl 1122.68366号
[6] Clavel，M.，《重写逻辑中的反思：元逻辑基础和元编程应用》（2000），CSLI出版物：CSLI出版物斯坦福大学·Zbl 1003.03032号
[7] Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；梅塞盖尔，J。；Talcott，C.，《关于莫德的一切：高性能逻辑框架》，《计算机科学讲义》，第4350卷（2007年），施普林格出版社·兹比尔1115.68046
[8] Clavel，M。；梅塞盖尔，J。；Palomino，M.，《成员关系等式逻辑、多分类等式逻辑和重写逻辑中的反思》，《理论计算机科学》，373，1-2，70-91（2007）·Zbl 1111.03034号
[9] 科米尼，M。；列维·G。；梅奥，M.C。；Vitiello，G.，抽象诊断，逻辑编程杂志，39，1-3，43-93（1999）·Zbl 0947.68024号
[10] Lloyd，J.W.，声明性错误诊断，新一代计算，5，2，133-154（1987）·Zbl 0624.68018号
[11] I.麦克拉蒂。Mercury程序的实际声明调试; I.麦克拉蒂。Mercury程序的实际声明调试
[12] Meseguer，J.，作为并发统一模型的条件重写逻辑，理论计算机科学，96，1，73-155（1992）·Zbl 0758.68043号
[13] Meseguer，J.，成员代数作为等式规范的逻辑框架， （Parisi-Presicce，F.，《代数发展技术的最新趋势》，第12届国际研讨会，WADT'97，意大利塔基尼亚，1997年6月3日至7日，论文集，代数发展技术最新趋势，代数发展技术最新趋势T’97，塔奎尼亚，意大利，1997年6月3日至7日，计算机科学论文选集，第1376卷（1998年），施普林格），18-61·Zbl 0903.08009号
[14] Naish，L.，缺失答案的声明性诊断，新一代计算，10，3，255-286（1992）
[15] Naish，L.，声明性调试方案，《函数与逻辑编程杂志》，1997，3（1997）·Zbl 0924.68125号
[16] Nilsson，H.，《如何像以往一样懒惰：懒惰函数调试器的实现》，《函数编程杂志》，11，6，629-671（2001）·Zbl 1037.68039号
[17] 尼尔森，H。；Fritzson，P.，惰性函数语言的算法调试，函数编程杂志，4，3，337-370（1994）
[18] Pope，B.，《使用Buddha进行声明性调试》，（高级函数编程-第五国际学校，AFP 2004）。高级函数编程-第五国际学校，AFP 2004，计算机科学讲义，第3622卷（2005），Springer），273-308
[19] E.Y.夏皮罗。算法程序调试; E.Y.夏皮罗。算法程序调试·Zbl 0589.68003号
[20] Silva，J.，《算法调试策略的比较研究》，（Puebla，G.，《基于逻辑的程序合成与转换》，《基于Logic的程序合成和转换》，计算机科学讲义，第4407卷（2007年），Springer），143-159
[21] 北高桥。；Ono，S.，DDS:功能程序的声明性调试系统，《日本的系统和计算机》，21，11，21-32（1990）
[22] Tessier，A。；Ferrand，G.，CLP方案中的声明性诊断，（约束编程的分析和可视化工具，约束调试（DiSCiPl项目）（2000），Springer），151-174
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。