李·奈什 从挣扎到成功。 (英语) 兹比尔1295.68058 理论与实践。日志。程序。 14,第2期,215-238(2014). 作者摘要:我们展示了如何将具有“延迟”的逻辑程序转换为没有延迟的程序,从而保留有关挣扎(也称为死锁)的信息。这允许使用声明性(模型理论)、自下而上或与目标无关的方法来分析和调试与flundering相关的属性。我们依赖于之前对延迟原语引入的一些限制和一个关键观察,它允许通过近似(地面)来分析诸如基础性之类的属性成功集。审核人:Alberto Pettorosi(罗马) 引用于1文件 MSC公司: 68N17号 逻辑编程 关键词:挣扎着;延误;协同诉讼;程序分析;抽象解释;程序转换;声明性调试 PDF格式BibTeX公司 XML格式引用 \textit{L.Naish},理论与实践。日志。程序。14,No.2,215--238(2014;Zbl 1295.68058) 全文: 内政部 arXiv公司 参考文献: [1] 澳大利亚计算机科学通信22 pp 166–(2000) [2] 内政部:10.1017/S1471068406002742·Zbl 1122.68028号 ·doi:10.1017/S1471068406002742 [3] 澳大利亚计算机科学通信15 pp 181–(1993) [4] 鲍文,第五届逻辑程序设计国际会议论文集,pp 1546–(1988) [5] ACM计算逻辑学报9第1页–(2008年) [6] Debray,《北美逻辑编程会议论文集》第661页(1990年) [7] 内政部:10.1016/0743-1066(92)90030-7·Zbl 0776.68024号 ·doi:10.1016/0743-1066(92)90030-7 [8] 第20届年度ACM会议记录第240页–(1994) [9] Andrei Ershov第四届系统信息学观点国际会议记录(PSI'01)第395页–(2001) [10] Minker,演绎数据库和逻辑编程基础第627页–(1988)·Zbl 0699.68009号 [11] 德布雷,北美逻辑编程会议记录第215页–(1990) [12] 逻辑编程基础(1984)·Zbl 0547.68005号 [13] 逻辑程序设计杂志30 pp 649–(1997) [14] 内政部:10.1145/293677.293680·doi:10.1145/293677.293680 [15] 内政部:10.1145/177492.177656·doi:10.1145/177492.177656 [16] 斯特林,《第十二届逻辑编程国际会议论文集》第747页–(1995) [17] 从逻辑编程到Prolog(1996) [18] 内政部:10.1145/322326.32239·兹比尔048368004 ·doi:10.1145/322326.32239 [19] 内政部:10.1145/321978.321991·Zbl 0339.68004号 ·数字对象标识代码:10.1145/321978.321991 [20] 澳大利亚计算机科学会议记录第499页–(1995) [21] 算法程序调试(1983) [22] 内政部:10.1145/73721·doi:10.1145/73721 [23] 1997年逻辑程序设计国际会议记录第93页–(1997) [24] 第35届澳大利亚计算机科学大会(ACSC 2012)会议记录(2012) [25] Dalh,《第23届逻辑编程国际会议论文集》,第302页–(2007) [26] 1996年逻辑程序设计联合国际会议和研讨会论文集第185页–(1996) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。