×

TCHR:表格CLP的框架。 (英语) Zbl 1148.68013号

摘要:表约束逻辑编程是一种强大的执行机制,用于处理约束逻辑编程,而不用担心不动点计算。已经提出了各种应用,例如在程序分析和模型检查领域。不幸的是,缺乏用于开发新应用程序的高级系统,程序员被迫求助于复杂的即席解决方案。
本文介绍了表约束逻辑编程的高级框架TCHR。它以轻量级的方式将约束处理规则(Constraint Handling Rules)与表逻辑编程集成在一起,这是一种用于约束求解器的高级语言。该框架很容易用新的特定于应用程序的约束域进行实例化。可以实例化各种高级操作来控制性能。特别是,我们提出了一种新的通用答案集压缩技术。

MSC公司:

68N17号 逻辑编程

软件:

TCHR公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Toman,约束数据库及其应用,第二届约束数据库系统国际研讨会(CDB’97),第246页–(1997)
[2] 托曼,《约束:国际期刊》,约束与数据库专刊2,第337页–(1997)·Zbl 0889.68046号 ·doi:10.1023/A:1009799613661
[3] Schrijvers,CICLOPS 2003:约束和逻辑编程系统实现座谈会会议记录第7页–(2003)
[4] Mukund,解析和演绎制表国际研讨会。第1页–(2000年)
[5] 万豪酒店,《有约束的编程:导论》。(1998) ·Zbl 0935.68098号
[6] Kanellakis,第九届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集。第26页–(1995)
[7] Duck,ICLP’04:第20届逻辑编程国际会议论文集。第90页–(2004)
[8] Holzbaur,《约束处理规则应用人工智能杂志》特刊,第14页,369页–(2000)·兹伯利05386824 ·doi:10.1080/088395100117043
[9] Duck,ICLP’04:第20届逻辑编程国际会议论文集。第105页–(2004)
[10] Du,IEEE实时系统研讨会。第175页–(2000)
[11] 郭,Proc。第六届声明性语言实践问题国际研讨会第163页(2004年)·doi:10.1007/978-3-540-24836-112
[12] Frühwirth,《约束编程要点》第145页–(2003)·doi:10.1007/978-3-662-05138-2
[13] 崔,《理论计算机科学电子笔记》第67页–(2000)
[14] Cui,CL 2000:第一届国际计算逻辑会议论文集第478页–(2000)·数字对象标识代码:10.1007/3-540-44957-4_32
[15] 克拉克,《逻辑与数据库》第293页–(1987)
[16] Schrijvers,ICLP’04:第20届逻辑编程国际会议论文集第120页–(2004)
[17] Schrijvers,《约束处理规则第一次研讨会:精选贡献》第1页–(2004年)
[18] Sarna-Starosta,第五届正式工程方法国际会议,ICFEM 2003,第579页–(2003)
[19] Rao,逻辑编程联合国际会议和研讨会,pp 112–(1996)
[20] 彭马萨尼,逻辑编程国际会议。第405页–(2002)
[21] 托曼,《96年约束数据库研讨会论文集》。第64页–(1996)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。