托姆·吕维思 约束程序中规则应用程序的数量。 (英语) Zbl 1263.68045号 Dovier,Agostino(编辑)等人,《声明式编程》。2000年12月4日至6日,古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记48,147-166(2001)。 摘要:我们预测了用CHR语言编写的基于规则的约束求解器程序中的最大规则应用数量,即计算的最坏情况推导长度。CHR是一种由多头保护规则组成的委托选择并发约束逻辑编程语言。派生长度是根据各个程序的终止证明中使用的排名得出的。我们对能给我们一个好上界的排名特别感兴趣,我们称这种排名为紧排名。基于随机数据的测试运行,我们通过考虑从布尔和术语约束到弧一致性和路径一致性的约束求解器,将我们的预测与经验结果进行比较。有关整个系列,请参见[Zbl 1262.68011号]. MSC公司: 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:程序分析;终止;派生长度;约束求解;约束处理规则 PDF格式BibTeX公司 XML格式引用 \textit{T.Frühwirth},电子。理论注释。计算。科学。48、147--166(2001年;Zbl 1263.68045) 全文: 内政部 参考文献: [1] Abdennadher S。,操作语义和约束传播规则的汇合第三届国际约束编程原理与实践大会1330;Abdennadher S。,操作语义和约束传播规则的汇合第三届国际约束编程原理与实践大会1330 [2] Benhamou,F.,区间约束逻辑编程,(波德尔斯基,A.,约束编程:基础与趋势,LNCS910(1995),斯普林格·弗拉格),1-21 [3] 贝尔托利诺·M、S.埃塔利和C.帕拉米德斯,ccp程序的替换操作第九届基于逻辑的程序合成与转换国际研讨会论文集(LOPSTR'99)1817;贝尔托利诺·M、S.埃塔利和C.帕拉米德斯,ccp程序的替换操作第九届基于逻辑的程序合成与转换国际研讨会论文集(LOPSTR'99)1817·Zbl 0964.68021号 [4] 迪·皮耶罗,A。;Wiklicky,H.,《概率约束规划中的定量观测值和平均值》,(Apt,K.;Kakas,A.;Monfroy,E.;Rossi,F.,《约束的新趋势》,ERCIM/Compulog-Net联合研讨会论文(2000),施普林格:施普林格-柏林,海德堡),212-236 [5] 埃斯克里格,M。;托莱多,F.,《定性空间推理:理论与实践》(1998),IOS出版社·Zbl 0923.68115号 [6] Frühwirth T。,基于约束简化规则的时态推理;Frühwirth T。,基于约束简化规则的时态推理 [7] Frühwirth,T.,约束处理规则的理论与实践,约束逻辑编程专刊,逻辑编程杂志,37,95-138(1998)·Zbl 0920.68029号 [8] Frühwirth,T.,《基于规则的约束程序中推导长度的预测》,《Neuviémes Journées Francophones de Programmation Logique et Programmatation par Contraintes》(JFPLC'2000)(2000),马赛:法国马赛 [9] Frühwirth,T.,《证明约束求解程序的终止》,(Apt,K.;Kakas,A.;Monfroy,E.;Rossi,F.,《约束的新趋势》,ERCIM/Compulog-Net联合研讨会论文(2000),施普林格:施普林格-柏林,海德堡) [10] Frühwirth,T。;Abdennadher,S.,“约束编程”(1997),施普林格:施普林格柏林 [11] Frühwirth,T.等人。;Hanschke,P.,《带约束处理规则的术语推理》(van Hentenryck,P.;Saraswat,V.,《约束编程的原理与实践》(1995)),第361-381页 [12] Jaffar,J。;Maher,M.J.,《约束逻辑编程:一项调查》,《逻辑编程杂志》,19&20503-581(1994) [13] Mackworth,A.K。;弗洛伊德,E.C.,约束满足问题多项式网络一致性算法的复杂性,人工智能,25,65-73(1985) [14] 英国万豪酒店。;Stuckey,P.J.,《带约束的编程:导论》(1998),麻省理工学院出版社·Zbl 0935.68098号 [15] 门朱,S。;Sakai,K。;佐藤,Y。;Aiba,A.,《布尔约束求解器的研究》,(Benhamou,F.;Colmerauer,A.,约束逻辑编程:精选研究(1993),麻省理工学院出版社:麻省理学院出版社伦敦),253-268·Zbl 0810.68058号 [16] 莫尔,R。;Henderson,T.,《重新审视弧线和路径一致性》,《人工智能》,28,225-233(1986) [17] Patel-Schneider P.和M.-C.Rousset,描述逻辑专题;Patel-Schneider P.和M.-C.Rousset,描述逻辑专题·兹比尔0928.0009 [18] 范亨滕里克,P。;Deville,Y。;Teng,M.-C.,通用弧一致性算法及其专门化,人工智能,57291-321(1992)·Zbl 0763.68059号 [19] 范亨滕里克,P。;萨拉斯瓦特,V。;Deville,Y.,《cc(fd)中的约束处理》,(Podelski,A.,《约束编程:基础与趋势》,LNCS910(1995),斯普林格·弗拉格),1-21 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。