×
埃米利奥·杰苏斯·加列戈·阿里亚斯;詹姆斯·利普顿;朱利奥·马里诺

用关系机进行约束逻辑编程。 （英语） Zbl 1355.68035号

正式Asp。计算。 29，第1期，97-124（2017）。

引用于1文件

MSC公司：

68N17号 逻辑编程
68纳米30 软件工程的数学方面（规范、验证、度量、需求等）

关键词：

逻辑程序设计;约束编程;关系代数;重写;语义学

软件：

CoALP公司
PDF格式BibTeX公司 XML格式引用
\textit{E.J.Gallego Arias}等人，正式Asp。计算。29，第1号，97-124（2017；Zbl 1355.68035）
全文： 内政部

参考文献：

[1] Amato G、Lipton J、McGrail R（2009）《关于声明式编程语言的代数结构》。《计算机科学》410（46）：4626-4671。（乔治·列维教授摘要）·Zbl 1187.68121号
[2] Asperti A，Martini S（1989）《用投影代替变量：逻辑程序的范畴理论解释》。In:ICLP，第337-352页
[3] Broome P，Lipton J（1994）组合逻辑编程：关系计算中的计算。1994年逻辑编程国际研讨会论文集（ILPS’94）。麻省理工学院出版社，剑桥，第269-285页
[4] Bellia M，Occhiuto ME（1993）C表达式：等式逻辑编程的无变量演算。《计算机科学》107（2）：209-252·Zbl 0779.68014号 ·doi:10.1016/0304-3975（93）90170-X
[5] Clark KL（1977）否定为失败。收录：Gallaire H、Minker J（编辑）《逻辑与数据库》。纽约Plenum出版社，第293-322页·Zbl 1028.68023号
[6] Cheney J，Urban C（2004）Alpha Prolog：一种具有名称、绑定和Alpha等价性的逻辑编程语言。摘自：Demoen B，Lifschitz V（eds）《第20届逻辑编程会议论文集ICLP2004》。计算机科学讲义，第3132卷。纽约州施普林格，第269-283页·Zbl 1104.68370号
[7] Finkelstein SE，Freyd PJ，Lipton J（2003）声明式编程的新框架。计算机科学300（1-3）：91-160·兹比尔1028.68023 ·doi:10.1016/S0304-3975（01）00308-5
[8] Freyd PJ，Scedrov A（1991）《类别，寓言》。阿姆斯特丹北荷兰出版公司·Zbl 0698.18002号
[9] Gallego Arias E，Lipton J（2012），表格寓言中的逻辑编程。摘自：Dovier A，Santos Costa（编辑）第28届逻辑编程国际会议（ICLP'12）的技术交流，布达佩斯。LIPIcs，第17卷，第334-347页。Dagstuhl-Leibniz-Zentrum fuer Informatik宫·Zbl 1281.68079号
[10] Gallego Arias E，Lipton J，Mariño J，Nogueira P（2011）使用无变量关系代数的一阶统一。日志J IGPL 19（6）：790-820·Zbl 1253.68194号 ·doi:10.1093/jigpal/jzq011
[11] Gallego Arias E，Lipton J，Mariño J（2015）约束逻辑编程的声明编译。In：Proietti M，Seki H（eds）基于逻辑的程序合成和转换。计算机科学课堂讲稿，第8981卷。施普林格，纽约，第299-316页·Zbl 1353.68036号
[12] Hamfelt A，Fischer-Nilsson J（1998）通过组合程序方案的组合实现逻辑程序的归纳综合。摘自：Flener P（ed）第八届基于逻辑的程序合成和转换国际研讨会（LOPSTR'98）。计算机科学课堂讲稿，第1559卷。纽约州施普林格，第143-158页
[13] Hamfelt A，Nilsson JF，Vitoria A（1998）纯逻辑程序的组合形式及其组合语义。技术报告
[14] Jaffar J，Maher MJ（1994）约束逻辑编程：一项调查。J日志程序，19/20:503-581·Zbl 1253.68194号
[15] Kinoshita Y，John Power A（1996）逻辑程序的腓肠肌语义。收件人：Dyckhoff R、Herre H、Schroeder-Heister P（eds）ELP。计算机科学课堂讲稿，第1050卷。纽约州施普林格，第177-191页·Zbl 1078.68140号
[16] Komendantskaya E，Power J（2011）逻辑编程中的代数推导。收件人：Bezem M（ed）CSL。LIPIcs，第12卷，第352-366页。Dagstuhl-Leibniz-Zentrum fuer Informatik宫·Zbl 1247.68044号
[17] Lipton J，Chapman E（1998）关于关系机逻辑编程的一些注释。收录：Jaoua A、Kempf P、Schmidt G（eds）在计算机科学中使用关系方法。技术报告编号：1998-03，第1-34页。联邦国防军曼城大学Fakultät fär Informatik·Zbl 0721.03037号
[18] Lloyd JW（1984）《逻辑编程基础》。纽约州施普林格·Zbl 0547.68005号 ·doi:10.1007/978-3-642-96826-6
[19] Miller D，Nadathur G，Pfenning F，Scedrov A（1991）《作为逻辑编程基础的统一证明》。Ann Pure Appl日志51（1-2）：125-157·Zbl 0721.03037号 ·doi:10.1016/0168-0072（91）90068-W
[20] Nilsson JF（1990）组合逻辑编程。In：程序。逻辑元程序设计第二次研讨会。K.U.鲁汶，比利时
[21] Pfenning F，Elliot C（1988）高阶抽象语法。摘自：1988年ACM SIGPLAN编程语言设计与实现会议记录（PLDI’88）。ACM，纽约，第199-208页
[22] Rydeheard DE，Burstall RM（1986）分类统一算法。收录：关于范畴理论和计算机编程的教程和研讨会论文集。纽约州施普林格，第493-505页·Zbl 0616.68016号
[23] Tarski A，Givant S（1987）无变量集合理论的形式化。摘自：学术讨论会出版物，第41卷。美国数学学会，普罗维登斯·Zbl 0654.03036号
[24] Urban C、Pitts AM、Gabbay MJ（2004）《名义统一》。计算机科学理论323（1-3）：473-497·Zbl 1078.68140号 ·doi:10.1016/j.tcs.2004.06.016
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。