×

用于优化动态模块化逻辑语言的抽象解释框架。 (英语) Zbl 1022.68501号

引言:本文旨在说明如何通过提高所采用的搜索技术的效率和尽可能避免搜索来改进动态模块化语言的实现。在这方面,本文可以被视为之前工作的续篇[A.Brogi、E.LammaP.梅洛,Inf.过程。莱特。36, 285-291 (1990;Zbl 0706.68026号)]其中给出了动态模块化语言的证明和模型理论。
特别是,我们在这里考虑静态分析技术的应用,以避免由于执行谓词绑定而产生的开销,这肯定会导致失败、无用的计算。

MSC公司:

68甲15 编程语言理论
68N17号 逻辑编程
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Bossi,A。;布列西,M。;加布里埃利,M。;列维·G。;Meo,M.C.,《微分逻辑程序》(Proc.20 Ann.ACM Symp.on Principles of Programming Languages(1993),ACM出版社),359-370·Zbl 0859.68009号
[2] 布罗基,A。;Lamma,E。;梅洛,P.,《逻辑编程中的假设推理:语义方法》,《信息》。过程。莱特。,36, 359-370 (1990)
[3] 布罗基,A。;Lamma,E。;梅洛,P.,《逻辑编程中的继承和假设推理》,(第九届欧洲人工智能会议(1990年),皮特曼:皮特曼伦敦),359-370
[4] 布罗吉,A。;南丫岛,E。;Mello,P.,逻辑程序的组合模型理论语义,新一代计算机。,11, 359-370 (1992)
[5] 布罗基,A。;Lamma,E。;Mello,P.,《逻辑编程框架中的对象》(Voronkov,a.,《逻辑程序设计》,《计算机科学讲义》(1992),施普林格:施普林格柏林),359-370
[6] 布列西,M。;Lamma,E。;Mello,P.,《逻辑编程中的模块化》,J.logic programming,19-20,443-502(1994)
[7] Ciampolini,A。;Lamma,E。;梅洛,P.,《提高动态模块化语言的效率》(Proc.Gulp-Prode 95 Internat.Conf.(1995)),443-502
[8] Ciampolini,A。;Lamma,E。;梅洛,P。;Pagone,V.A.,《提高动态模块逻辑语言效率的抽象解释器》(DEIS-LIA技术报告001-96(1996),博洛尼亚大学)
[9] ALPES联盟,EEC-ESPRIT高级逻辑编程环境项目附件,ALPES,技术报告。(1989)
[10] 库索特,P。;库索特,R.,《逻辑程序的抽象解释和应用》,《逻辑编程杂志》,第13期,第443-502页(1992年)·Zbl 0776.68024号
[11] Gaifman,H。;夏皮罗,E.,《逻辑程序的完全抽象合成语义》,(Proc.16th Ann.ACM Symp.on Principles of Programming Languages(1989),ACM Press),443-502
[12] 佐丹奴,L。;Martelli,A。;Rossi,G.F.,逻辑语言中静态范围规则的局部定义(Proc.FGCS’88 Internat.Conf.(1988)),443-502
[13] 霍达斯,J。;Miller,D.,《用范围结构在逻辑编程语言中表示对象》,(Warren,D.H.D.;Szeredi,P.,Proc.7th Internat.Conference on logic programming(1990),麻省理工学院出版社:马萨诸塞州坎布里奇麻省理学院出版社),511-526
[14] 贾亚拉曼,B。;Nadathur,G.,《逻辑编程中作用域构造的实现技术》,(Furukawa,K.,Proc.8th Internat.Conf.on logic programming(1991),麻省理工学院出版社:麻省理学院出版社剑桥,马萨诸塞州),871-886
[15] Lamma,E。;梅洛,P。;Natali,A.,《用于执行结构化逻辑程序的扩展Warren抽象机》,《逻辑编程》,第14卷,第187-222页(1992年)
[16] Mancarella,P。;Pedreschi,D.,《逻辑程序代数》,(Kowalski,R.A.;Bowen,K.A.,《逻辑编程第五届国际会议论文集》(1988年),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥),1006-1023
[17] McCabe,F.G.,《逻辑与对象》(1992),普伦蒂斯·霍尔:普伦蒂斯霍尔伦敦·Zbl 0756.68020号
[18] McCarty,L.T.,Clausal直觉主义逻辑I:不动点语义,《逻辑编程》,5,1-31(1988)·Zbl 0645.03006号
[19] 梅洛,P。;Natali,A。;Ruggieri,C.,软件工程视角下的逻辑编程,(Lusk,L.;Overbeek,R.a.,Proc.1989北美逻辑编程会议(1989),麻省理工学院出版社:麻省理工学院出版社,马萨诸塞州剑桥),451-458
[20] Miller,D.,逻辑编程中的模块理论,(Proc.Symp.on logic programming(1986)),106-114
[21] Miller,D.,逻辑编程中模块的逻辑分析,《逻辑编程》,6,79-108(1989)·Zbl 0681.68022号
[22] 蒙特罗,L。;Porto,A.,《上下文逻辑编程》,(Levi,G.;Martelli,M.,Proc.6th Internat.Conf.on logic programming(1989),麻省理工学院出版社:麻省理工大剑桥出版社),284-302
[23] 蒙特罗,L。;Porto,A.,《上下文逻辑编程语言》,(de Bakker,J.W.;Apt,K.R.;Rutten,J.J.M.M.,《逻辑编程语言、约束、函数和对象》(1993),麻省理工学院出版社:麻省理学院出版社剑桥,马萨诸塞州),115-147·Zbl 0832.68015号
[24] O'Keefe,R.,《面向构建逻辑程序的代数》(Cohen,J.;Conery,J.,Proc.IEEE Symp.on logic Programming(1985),IEEE计算机社会出版社:IEEE Computer Society Press Silver Spring,MD),152-160
[25] Schmidt,D.A.,《指称语义学》(1986年),Allyn和Bacon:Allyn and Bacon Newton,MA
[26] van Emden,M.H。;Kowalski,R.A.,谓词逻辑作为编程语言的语义,J.ACM,23733-742(1976)·Zbl 0339.68004号
[27] Warren,D.H.D.,《抽象Prolog指令集》(《技术报告》,TR 309(1983),SRI International)
[28] Zanichelli,F。;卡塞利,S。;Natali,A。;Omicini,A.,《自治机器人的多代理框架和编程环境》(1994年IEEE国际机器人技术与自动化会议,ICRA’94)。程序。1994 IEEE国际。机器人与自动化会议,ICRA’94,加利福尼亚州圣地亚哥(1994),IEEE计算机学会出版社:IEEE计算机协会出版社,马里兰州银泉,3501-3506
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。