×

从挣扎到成功。 (英语) 兹比尔1295.68058

作者摘要:我们展示了如何将具有“延迟”的逻辑程序转换为没有延迟的程序,从而保留有关挣扎(也称为死锁)的信息。这允许使用声明性(模型理论)、自下而上或与目标无关的方法来分析和调试与flundering相关的属性。我们依赖于之前对延迟原语引入的一些限制和一个关键观察,它允许通过近似(地面)来分析诸如基础性之类的属性成功集。

MSC公司:

68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。