D装货商 swMATH ID: 9904 软件作者： 阿德里安·里斯科；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 描述： 重写逻辑规范的声明性调试。声明性调试是一种半自动技术，它从错误的计算开始，通过构建表示此计算的树并引导用户通过它来查找错误，从而找到导致错误的程序片段。成员关系方程逻辑（MEL）是一种方程逻辑，除了方程外，还允许一个状态成员关系公理来描述某类元素。重写逻辑是一种通过添加重写规则来扩展MEL的更改逻辑，重写规则对应于状态之间的转换，并且可以是非确定性的。我们在这里提出了一种演算，用重写逻辑的等式子集来推断约简、排序推理、范式和最小排序，并通过规则重写和可达项集。我们使用这个演算计算出的证明树的缩写来为错误的（从初始结果中获得的错误结果）和缺失的答案（由于不完整而导致错误的结果）构建适当的调试树，从而证明了它们对于调试的充分性。使用这些树，我们实现了Maude DDebugger，这是Maude的声明式调试器，Maude是一个基于重写逻辑的高性能系统。我们用一个例子来说明它的用法。 主页： 网址：http://maude.sip.ucm.es/~adrian/files/debugging_jlap.pdf 依赖项： 莫德 关键词： 声明性调试;重写逻辑;莫德;错误的答案;缺少答案 相关软件： 莫德;阿尼玛;腹板-TLR;艾朱利安;快速检查;ITP公司;MFE公司;PVeStA公司;PMaude公司;咖啡馆OBJ;精灵;K-Maude公司;目标3;第3章;github;风暴;PSMaude公司;PyMC公司;MultiVeStA公司;PORGY公司 引用于： 12文件 全部的 前5名16位作者引用 6 马丁·奥列特，纳西索 6 阿德里安·里斯科 6 阿尔贝托·维尔德乔 三 玛丽亚·阿尔普特 三 黛米斯·巴利斯 三 弗朗西斯科·弗雷奇纳 三 朱莉娅·萨皮娜 2 拉斐尔·卡巴列罗（Rafael E.Caballero）。 1 高基町五指 1 英萨，大卫 1 何塞·梅塞盖尔·瓜伊塔 1 Kazuhiro绪方 1 伊莎贝尔·皮塔 1 鲁宾·鲁比奥 1 乔塞普·席尔瓦 1 塞萨尔·托马斯 4篇连载文章中引用 2 逻辑与代数程序设计杂志 1 符号计算杂志 1 计算的形式方面 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 12 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 按年份列出的引文