×
北卡罗来纳州本索。;我，游击队员。

转换约束逻辑程序。 （英语） Zbl 0913.68042号

西奥。计算。科学。 206，编号1-2，81-125（1998）.
摘要：我们研究约束逻辑程序的“a-la Tamaki–Sato”变换。我们给出了约束逻辑程序的操作语义和不动点语义；我们将Tamaki Sato变换系统扩展为约束程序的变换系统，包括折叠展开、替换、稀疏和增肥以及约束简化；我们给出了其正确性的直接证明，它比Tamaki-Sato证明更简单。

引用于6文件

MSC公司：

68N17号 逻辑编程

关键词：

程序转换;约束逻辑程序;最小不动点语义;正确性
PDF格式BibTeX公司 XML格式引用
\textit{N.Bensaou}和\textit{I.Guessarian}，Theor。计算。科学。206，编号1--2，81-125（1998；Zbl 0913.68042）
全文： 内政部

参考文献：

[1] Bensaou，N.，《程序逻辑与约束的转换》（巴黎第六大学博士论文（1996））
[2] Bensaou，N。；Guessarian，I.，CLP项目的扩展转换系统，（Proc.4th Internat.Workshop LOPSTR'94。程序。第四国际。LOPSTR’94研讨会，计算机科学讲稿，第883卷（1994年），17-35·Zbl 0941.68537号
[3] Bensaou，N。；Guessarian，I.，《转换约束逻辑程序》，（第十一届计算机科学理论专题研讨会，第十一届计算科学理论专题会议，计算机科学讲义，第775卷（1994年）），33-46·Zbl 0941.68537号
[4] Bossi，A。；Cocco，N.，《保留逻辑程序答案替换的基本转换操作》，《逻辑编程》，16，47-87（1993）·Zbl 0778.68020号
[5] Bossi，A。；北卡罗来纳州科科。；Dulli，S.，专门化逻辑程序的方法，ACM Trans。编程语言和系统，12，2，253-302（1990）
[6] Bossi，A。；Etalle，S.，《转换非循环程序》，ACM ToPLAS，16，4，1081-1096（1994）
[7] R.M.伯斯托尔。；Darlington，J.，《导出递归程序的转换系统》，J.ACM，24，1，44-67（1977）·Zbl 0343.68014号
[8] 丹尼斯，F。；Delahaye，J.P.，《逻辑程序的展开、过程和定点语义》（Proc.STACS’1991）。程序。STACS’1991，计算机科学讲义，第480卷（1991）），511-522·Zbl 0776.68079号
[9] Dennehuvel，S.V.公司。；Kwast，K.L.，约束集的弱等价，（IJCAI（1991）），851-856·兹比尔074968018
[10] 埃塔利，S。；Gabrielli，M.，《CLP模块的转换》，Theoret。计算。科学。，166, 101-146 (1996) ·Zbl 0872.68021号
[11] 埃塔利，S。；Gabrielli，M.，关于CLP模块更换操作的正确性，J.Funct。逻辑编程，1，1，1-52（1996）·Zbl 0924.68042号
[12] 法拉斯基，M。；列维·G。；Martelli，M。；Palamidessi，C.，逻辑语言操作行为的声明性建模，Theoret。计算。科学。，69289-318（1989年）·Zbl 0699.68113号
[13] 加布里埃利，M。；Levi，G.，《模拟答案约束》，（Koichi；Furukawa，《约束逻辑程序》，第八届国际逻辑编程会议（1991年），238-252
[14] 加德纳，P.A。；Sheperdson，J.C.，《逻辑程序的展开/折叠变换》，（计算逻辑，纪念艾伦·罗宾逊的论文（1991），麻省理工学院出版社：麻省理学学院出版社伦敦），565-583
[15] Giacobazzi，R。；德布雷，S.K。；Levi，G.，约束逻辑程序的广义语义，（Proc.Internat.Conf.on 5th Generation Computer Systems.Proc.Internet.Conf.on 5th Generation Computer System，Tokyo（1992）），581-591·Zbl 0862.68072号
[16] 希基，T.J。；Smith，D.A.，《面向CLP语言的部分评估》（Proc.PEPM’91）。程序。PEPM’91，ACM-SIGPLAN通知，26（1991）），43-51，9
[17] Jaffar，J。；Lassez，J.L.，约束逻辑编程，（莫纳什大学计算机科学系技术报告（1986年6月））
[18] Jaffar，J。；Lassez，J.L.，约束逻辑编程（Proc.14th ACM symp.Principles of programming Languages，1987），111-119
[19] Jaffar，J。；Maher，M.J.，《约束逻辑编程：一项调查》，J.logic programming，19，20，503-581（1994）
[20] Kanellakis，P。；库珀，G。；Revesz，P.，约束查询语言，技术报告，布朗大学计算机科学系（1990年11月）
[21] 川村，T。；Kanamori，T.，《在展开/折叠逻辑程序转换中保持更强的等价性》（Proc.Internat.Conf.FGCS（1988）），413-421
[22] Levi，G.，《模型、展开规则和定点语义》，（第五届国际逻辑编程会议（1988年），1649-1665年）
[23] Lloyd，J.W.，逻辑编程基础（1987），施普林格：施普林格柏林·Zbl 0547.68005号
[24] Maher，M.J.，逻辑程序转换系统的正确性，（IBM研究报告RC 13496（1987），T.J.Watson研究中心）·Zbl 0594.68011号
[25] Maher，M.J.，逻辑程序的等价性，（Minker，J.，演绎数据库和逻辑编程基金会（1988），Morgan-Kaufmann:Morgan-Koufmann-Los Altos），627-658·Zbl 0594.68011号
[26] Maher，M.J.，《具有完美模型语义的演绎数据库模块转换系统》，Theoret。计算。科学。，110377-403（1993年）·Zbl 0780.68022号
[27] Parrain，A。；Devienne，P。；Lebegue，P.，《程序转换技术与元企业验证》（1991年），BIGRE
[28] Pettorossi，A。；Proietti，M.，为Prolog保留转换规则的语义，（Proc.PEPM'91。程序。PEPM’91，ACM-SIGPLAN通知，第26卷（1991）），274-284，第9号
[29] Pettorossi，A。；Proietti，M.，转换逻辑程序的抽象策略，基金。通知。，18, 267-286 (1993) ·Zbl 0788.68026号
[30] Pettorossi，A。；Proietti，M.，《逻辑程序的转换：基础和技术》，《逻辑编程杂志》，第20期，第261-320页（1994年）·Zbl 0942.68528号
[31] Seki，H.，分层程序的展开/折叠转换，（第6届国际逻辑编程会议，麻省理工学院出版社，第6届国内逻辑编程会议会议，麻萨诸塞州剑桥市，1989年），554-568
[32] Tamaki，H。；Sato，T.，《逻辑程序的展开/折叠变换》（Proc.2nd logic Programming Conf.Proc.2rd logic Program Conf.，瑞典乌普萨拉（1984））
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。