×

展开CHR程序。 (英语) Zbl 1379.68064号

概要:程序转换是一种很有吸引力的技术,它可以提高运行时效率、空间消耗,更广泛地说,还可以优化给定的程序。本质上,它由一系列语法程序操作组成,这些操作保留了某种语义等价性。展开是大多数程序转换系统使用的基本操作之一,由定义替换过程调用组成。虽然有大量关于序列程序的转换和展开的文献,但很少有论文针对并发语言讨论这个问题。本文定义了约束处理规则程序的展开系统。我们定义了一个展开规则,展示了它的正确性,并讨论了在保留程序含义的同时删除展开规则的一些条件。我们还证明了,在某些适当的条件下,通过上述变换,汇流和终止保持不变。

MSC公司:

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

参考文献:

[1] Abdennadher S.1997年。操作语义和约束传播规则的汇合。《约束编程原理与实践》(CP97),G.Smolka,Ed.,《计算机科学讲义》,第1330卷。德国柏林施普林格,252-266.10.10007/BFb0017424·doi:10.1007/BFb0017424
[2] AbdennadherS S.和FrühwirthT.2004年。基于规则的约束求解器的集成和组织。《基于逻辑的程序合成与转换》(LOPSTR 2003),M.Bruynooghe,Ed.,《计算机科学讲义》,第3018/2004卷。德国柏林施普林格-弗拉格,198-231.10.1007/b98080·Zbl 1051.68003号 ·文件编号:10.1007/b98080
[3] 鸭子G。J.、StuckeyP。J.Garca de la BandaM,班达姆美术馆。和HolzbaurC.2004。约束处理规则的精细操作语义。《逻辑编程》,B.Demoen和V.Lifschitz主编,《计算机科学讲义》,第3132卷。德国柏林施普林格,269-304.10.1007/b99475·Zbl 1104.68369号 ·doi:10.1007/b99475
[4] 埃塔莱斯。,加布里埃利姆。和MeoM。2001年2月。CCP项目的转型。美国计算机学会程序设计语言与系统学报(TOPLAS)23,3,304-395.1145/503502.503504·doi:10.1145/503502.503504
[5] FrühwirthT.1998年。约束处理规则的理论与实践。《逻辑编程杂志》37,1-3(10月),95-138。(约束逻辑编程专刊)10.1016/S0743-1066(98)10005-5·Zbl 0920.68029号 ·doi:10.1016/S0743-1066(98)10005-5
[6] FrühwirthT.2005年。并行保护多集转换规则的专业化。《基于逻辑的程序合成与转换》,S.Etalle,Ed.,《计算机科学讲义》,第3573卷。德国柏林施普林格,133-148.10.1007/b137785·Zbl 1134.68347号 ·doi:10.1007/b137785
[7] FrühwirthT.2009年。约束处理规则。剑桥大学出版社,英国剑桥·Zbl 1182.68039号
[8] FrühwirthT先生。和AbdennadherS.2003。约束编程要点。德国柏林施普林格·Zbl 1064.68026号
[9] FrühwirthT.,法国。,迪·皮耶罗。和WiklickyH.2002。概率约束处理规则。《WFLP’02-第11届函数和(约束)逻辑编程国际研讨会论文选集》,M.Comini和M.Falaschi编辑,《理论计算机科学电子笔记》,第76卷。荷兰阿姆斯特丹爱思唯尔,115-130。
[10] FrühwirthT先生。和HolzbaurC.2003。一类表达规则的源到源转换。在APPIA-GULP-PRODE中。意大利雷吉奥·卡拉布里亚公共区,386-397。
[11] 劳埃德银行。W.1984年。逻辑编程基础。Springer-Verlag,纽约州纽约市·Zbl 0547.68005号
[12] 举升器F。,贝茨。和FrühwirthT.2009。重温CHR状态的等效性。在第六届约束处理规则国际研讨会(CHR)的会议记录中,F.Kaiser和J.Sneyers,Eds.,Katolieke Universiteit Leuven计算机科学系报告CW555,Heverlee,Belgium,34-48。
[13] Sarna-StarostaB公司。和Schrijvers.2009。CHR索引的属性数据。《第25届逻辑编程国际会议论文集》(ICLP 2009),P.M.Hill和D.S.Warren,Eds.,《计算机科学讲义》,第5649卷。德国柏林施普林格,357-371·Zbl 1251.68068号
[14] 施里杰弗斯。和SulzmannM.2008。约束处理规则中的事务。《第24届逻辑程序设计国际会议论文集》(ICLP 2008),M.G.de la Banda和E.Pontelli,Eds.,《计算机科学讲义》,第5366卷。德国柏林施普林格,邮编:516-530。
[15] 斯奈尔斯J。,会议。,维尼肯斯J。,卡梅亚。和SatoT.2010。基于CHR(PRISM)的概率逻辑学习。逻辑程序设计的理论与实践10,4-6,433-447.10.117/S1471068410000207S1471068410000207·Zbl 1209.68100号 ·doi:10.1017/S1471068410000207
[16] 斯奈尔斯J。,施里杰弗斯。和DemoenB.2005。CHR发生表示的保护和延续优化。在《第21届国际会议论文集》(ICLP 2005)中,M.Gabbrielli和G.Gupta,Eds.,《计算机科学讲义》,第3668卷。施普林格,柏林,德国,83-97·Zbl 1165.68348号
[17] 塔切拉P.2008。约束处理规则。意大利博洛尼亚博洛尼亚大学博士论文《合成语义与程序转换》。
[18] 塔奇拉普。,MeoM公司。C.和GabbrielliM.2007。在CHR中展开。在第九届ACM SIGPLAN声明式编程原理与实践国际研讨会(PPDP'07)的会议记录中,M.Leuschel和A.Podelski,编辑,Heverlee,比利时,179-186。
[19] 塔马基。和SatoT.1984。逻辑程序的展开/折叠转换。《逻辑程序设计国际会议论文集》(Proceedings of the International Conference on Logic Programming),瑞典乌普萨拉大学Sten-OkeTärnlund编辑,127-138。
[20] 上田。和FurukawaK.1988。GHC项目的转换规则。1988年第五代计算机系统国际会议论文集(FGCS’88)。ICOT出版社,日本东京,582-591。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。