艾尔维拉·阿尔伯特;德国维达尔 函数逻辑程序专业化的窄驱动方法。 （英语） Zbl 1016.68024号 新一代计算。 20，编号1，3-26（2002）. 摘要：部分求值是一种基于语义的程序优化技术，已在不同的编程范式中进行了研究，并应用于多种语言。最近，提出了功能逻辑程序的部分评估框架。在此框架中，收缩（集成语言的标准操作语义）用于驱动部分评估过程。本文概述了狭义驱动部分评价的本质。 引用于10文件 MSC公司： 68甲18 函数编程和lambda演算 68甲15 编程语言理论 关键词：部分评估;缩小;程序优化 软件：幼儿保育和教育;参考;巴贝尔;内核-叶;玩具;PAKCS公司 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}和\textit{G.Vidal}，新一代计算。20，编号1，3--26（2002年；Zbl 1016.68024） 全文： DOI程序 参考文献： [1] 谢尔盖·阿布拉莫夫；格吕克，罗伯特，《通用求解算法：函数语言中的逆计算》，187-212（2000），柏林，海德堡·Zbl 0963.68500号 [2] Albert，E.，“<Emphasis Type=“Italic”>多范式声明语言的部分评估：基础、控制、算法和效率”，巴伦西亚政治大学DSIC博士论文，2001年。可从以下URL获得：http://www.dsic.upv.es/users/elp/papers.html。 [3] 艾伯特·E。；Alpunte，M。；法拉斯基，M。；朱利安，P。；Vidal，G.，《功能逻辑程序专业化中的改进控制》，262-277（1998），柏林，海德堡·Zbl 0911.68036号 ·doi:10.1007/3-540-49727-7_16 [4] Albert，E.、Alpunte，M.、Hanus，M.和Vidal，G.，“咖喱课程的部分评估框架”，《Proc。第六届逻辑编程和自动推理国际会议（LPAR’99），Springer LNAI 1705，第376-395页，1999年。 [5] Albert，E.、Antoy，S.和Vidal，G.，“函数逻辑语言中部分求值的有效性度量”，inProc。第十届基于逻辑的程序合成与转换国际研讨会（LOPSTR’2000），Springer LNCS 2042，pp.103-1242001·Zbl 1018.68500元 [6] Albert，E.、Hanus，M.和Vidal，G.，“使用抽象表示专门化函数逻辑程序”，inProc。第七届国际程序设计和自动推理逻辑大会（LPAR’2000），Springer LNAI 1955，第381-398页，2000年·Zbl 0988.68516号 [7] Albert，E.、Hanus，M.和Vidal，G.，“多范式声明语言的实用部分评估器”，《Proc》。第四届富士国际交响乐团。功能和逻辑编程（FLOPS’2001），Springer LNCS 2024，pp.326-3422001·Zbl 0977.68593号 [8] Alpuente，M.、Falaschi，M.，Julián，P.和Vidal，G.，“惰性函数逻辑程序的专业化”，《Proc》。ACM SIGPLAN研讨会。部分评估和基于语义的程序操作（PEPM’97）Sigplan通知，32，12，ACM出版社，第151-162页，1997年·doi:10.1145/258994.259015 [9] Alpuente，M.、Falaschi，M.和Vidal，G.，“函数逻辑程序的窄驱动部分评估”，inProc。第六届欧洲编程研讨会（ESOP’96），Springer LNCS 1058，第45-61页，1996年。 [10] Alpuente，M.、Falaschi，M.和Vidal，G.，“函数逻辑程序的部分评估”，《ACM编程语言和系统事务》，第20、4页，第768-8441998页·数字对象标识代码：10.1145/291891.291896 [11] Alpunte M.、Hanus M.、Lucas S.和Vidal，G.，“归纳顺序函数逻辑程序的专业化”，inProc。第四届ACM SIGPLAN函数编程国际会议（ICFP'99）第34、9页，美国计算机学会出版社，第273-283页，1999年·Zbl 1345.68090号 ·数字对象标识代码：10.1145/317765.317910 [12] Antoy，S.，《定义树》，《美国国家科学院院刊》。第三届代数和逻辑编程国际会议（ALP'92），施普林格LNCS 632，第143-157页，1992年。 [13] Antoy，S.、Echahed，R.和Hanus，M.，“需要的缩小战略”，《ACM杂志》，第47、4期，第776-8222000页·Zbl 1327.68141号 ·数字对象标识代码：10.1145/347476.347484 [14] Baader，F.和Nipkow，T.，《术语改写及所有这些》，剑桥大学出版社，1998年·Zbl 0948.68098号 [15] Bol，R.，“部分演绎中的循环检查”，《逻辑编程杂志》，第16、1和2期，第25-46页，1993年·Zbl 0780.68012号 ·doi:10.1016/0743-1066（93）90022-9 [16] Bondorf，A.，《术语改写系统的自适用部分评估器》，inProc。国际软件开发理论与实践联合会议（TAP-SOFT’89），Springer LNCS 352，第81-95页，1989年。 [17] Bruynooghe，M.，de Schreye，D.和Martens，B.，“避免无限展开的一般准则”，《新一代计算》，第11、1页，第47-79页，1992年·兹比尔0782.68024 ·doi:10.1007/BF03037527 [18] Burstall，R.和Darlington，J.，“开发递归程序的转换系统”，《ACM杂志》，第24卷，第1期，第44-67页，1977年·Zbl 0343.68014号 ·数字对象标识代码：10.1145/321992.321996 [19] Consel，C.和Danvy，O.，《部分评估教程注释》，摘自Proc。第20届ACM SIGPLAN-SIGACT年度交响乐会。《程序设计语言原理》（POPL'93），ACM出版社，第493-501页，1993年。 [20] Darlington，J.和Pull，H.，“基于统一执行和转换方法的程序开发方法”，inProc。IFIP TC2部分评估和混合计算研讨会，北荷兰，第117-1311988页。 [21] De Schreye，D.、Glück，R.、Jörgensen，J.、Leuschel，M.、Martens，B.和Sörensen，M.，“连接部分演绎：基础、控制、算法和实验”，《逻辑编程杂志》，第41、2和3期，第231-277页，1999年·Zbl 0944.68025号 ·doi:10.1016/S0743-1066（99）00030-8 [22] Etalle，S.、Gabbrielli，M.和Marchiori，E.，“具有动态调度和CCP的CLP转换系统”，inProc。ACM SIGPLAN Symp.的。《部分评估和基于语义的程序操作》（PEPM’97），《计划通告》第32卷，第12卷，ACM出版社，第137-150页，1997年。 [23] Fribourg，L.，“SLOG:一个基于Clausal叠加和重写的逻辑程序设计语言解释器”，in Proc。第二届IEEE国际交响乐团。《逻辑编程》，IEEE出版社，第172-1851985页。 [24] Futamura，Y.，“计算过程的部分评估——编译器的方法”，《高阶和符号计算》，第12、4页，第381-3911999页。重印1971年《系统、计算机、控制》中的文章·Zbl 1009.68504号 ·doi:10.1023/A:101095604496 [25] Gallagher，J.，《逻辑程序专业化教程》，收录于Proc。ACM SIGPLAN Symp.的。《部分评估和基于语义的程序操作》（PEPM’93），第88-98页，ACM出版社，1993年。 [26] Giovannetti，E.，Levi，G.，Moiso，C.和Palamidessi，C.，《内核叶：逻辑加函数语言》，《计算机与系统科学杂志》，第42期，第363-377页，1991年·Zbl 0717.68013号 ·doi:10.1016/0022-0000（91）90009-T [27] Glück，R.和Klimov，A.，“元计算中的Occam剃刀：完美过程树的概念”，《Proc》。第三届国际静态分析研讨会，Springer LNCS 724，pp.112-1231993。 [28] Glück，R.和Sörensen，M.，“部分演绎和驱动是等价的”，《程序》。第六届国际交响乐团。关于编程语言实现和逻辑编程（PLILP’94），Springer LNCS 844，pp.165-1811994。 [29] Hanus，M.，“函数与逻辑编程的集成：从理论到实践”，《逻辑编程杂志》，第19和20期，第583-6281994页·Zbl 0942.68526号 ·doi:10.1016/0743-1066（94）90034-5 [30] Hanus，M.，“函数和逻辑编程的统一计算模型”，inProc。第24届ACM SIGPLAN-SIGACT Symp。《程序设计语言原理》（POPL'97），ACM出版社，第80-93页，1997年。 [31] Hanus，M.、Antoy，S.、Koj，J.、Sadre，R.和Steiner，F.，“PAKCS 1.2:波特兰亚琛基尔咖喱系统用户手册”，技术报告，德国基尔大学，2000年。 [32] Hanus，M.和Prehofer，C.，“定义树的高阶窄化”，《函数编程杂志》，9，1，第33-751999页·Zbl 0926.68028号 ·网址：10.1017/S0956796899003330 [33] “Curry：集成函数逻辑语言”（Hanus，M.，ed.），网址：http://www.informatik.uni-kiel.de/curry/report.html，2000年。 [34] Hortalá-González，T.和Ullán，E.，“基于抽象机器的懒惰狭窄微积分系统”，摘自Proc。第四届富士国际交响乐团。功能和逻辑编程（FLOPS’2001），第216-232页，Springer LNCS 20242001·Zbl 0987.68855号 [35] Huet，G.和Lévy，J.，“正交重写系统中的计算，第一部分+第二部分”，《纪念Alan Robinson的计算逻辑随笔》（J.Lassez和G.Plotkin编辑），第395-4431992页。 [36] Hullot，Jean-Marie，《规范形式与统一》，318-334（1980），柏林，海德堡·Zbl 0441.68108号 ·doi:10.1007/3-540-10009-1_25 [37] Jones，N.、Sestoft，P.和Söndergaard，H.，“混合：编译器生成实验中的自适用部分求值器”，Lisp和符号计算，第2、1页，第9-50页，1989年·doi:10.1007/BF01806312 [38] Julián-Iranzo，P.，《惰性函数逻辑程序的专业化》，博士论文，DSIC，巴伦西亚政治大学，2000年5月。西班牙语·Zbl 1159.68388号 [39] Klop，J.，“术语重写系统”，收录于《计算机科学逻辑手册》（S.Abramsky，D.Gabbay，and T.Maibaum，eds.），I，牛津大学出版社，第1-112页，1992年。 [40] Kruskal，J.，“井拟序、树定理和Vazsonyi猜想”，《美国数学学会学报》，第95期，第210-225页，1960年·Zbl 0158.27002号 [41] Lafave，L.和Gallagher，J.，“重写语言中函数逻辑程序的部分评估”，技术报告CSTR-97-001，英国布里斯托尔大学计算机科学系，1997年3月。 [42] Lassez，J.L。；Maher，M.J。；英国万豪酒店。；Minker，J.（编辑），《重新审视统一》，587-625（1988），加利福尼亚州洛斯阿尔托斯·Zbl 0645.68046号 ·doi:10.1016/B978-0-934613-40-8.50019-1 [43] Leuschel，M.，“同胚嵌入对在线终止的作用”，《Proc》。第五届国际静态分析研讨会（SAS'98），施普林格LNCS 1503，第230-2451998页。 [44] Leuschel，M。；Schreye，D。；Waal，A.，《折叠到部分演绎中的概念嵌入：走向最大整合》，319-332（1996），马萨诸塞州剑桥 [45] Leuschel，M.，Martens，B.和de Schreye，D.，“在正常逻辑程序的部分演绎中控制泛化和多元方差”，《程序设计语言和系统的ACM事务》，20，1，第208-258页，1998年·doi:10.1145/271510.271525 [46] Lloyd，J.和Shepherdson，J.，“逻辑编程中的部分评估”，《逻辑编程杂志》，第11期，第217-242页，1991年·Zbl 0741.68030号 ·doi:10.1016/0743-1066（91）90027-M [47] Loogen，R.、López-Fraguas，F.和Rodríguez-Artalejo，M.，“懒惰缩小的需求驱动计算策略”，《Proc。第五届国际交响乐团。关于编程语言实现和逻辑编程（PLILP'93），Springer LNCS 714，第184-2001993页·Zbl 0791.68021号 [48] 路易斯·弗拉瓜（F.J.López Fraguas）。；Sánchez Hernández，J.，《玩具：一个多范式的声明系统》，244-247（1999），柏林，海德堡·doi:10.1007/3-540-48685-2_19 [49] 卢克斯，沃尔夫冈；赫伯特·库欣（Herbert Kuchen），《咖喱的高效抽象机》（An Efficient Abstract Machine for Curry），390-399（1999），柏林，海德堡 [50] Martens，B.和Gallagher，J.，“在允许灵活多元方差的同时确保部分扣除的全球终止”，《Proc。第十二届国际逻辑编程会议（ICLP’95），麻省理工学院出版社，第597-6111995页。 [51] Moreno-Navarro，J.和Rodríguez-Artalejo，M.，《函数和谓词的逻辑编程：巴别塔语言》，《逻辑编程杂志》，第12期，第3期，第191-224页，1992年·Zbl 0754.68031号 ·doi:10.1016/0743-1066（92）90024-W [52] 安德烈·奈米提克（Andrei P.Nemytykh）。；维多利亚·A·平丘克。；瓦伦汀·图尔钦（Valentin F.Turchin），《一个自我适用的超级编译器》，322-337（1996），柏林，海德堡·doi:10.1007/3-540-61580-6_16 [53] 阿尔贝托·佩特罗西；Proietti，Maurizio，《一些程序转换技术的比较回顾》，355-385（1996），柏林，海德堡·doi:10.1007/3-540-61580-6_18 [54] Plasmeijer，R.和Eekelen，M.，《函数编程和并行图重写》，艾迪森·卫斯理出版社，1993年·Zbl 0788.68023号 [55] 美国雷迪，“缩小功能语言的操作语义”，inProc。第二届IEEE国际交响乐团。《逻辑程序》，IEEE，纽约，第138-1511985页。 [56] Slagle，J.，“用简化器、交换性和关联性对理论进行自动定理证明”，《ACM杂志》，第21、4期，第622-6421974页·Zbl 0296.68092号 ·数字对象标识代码：10.1145/321850.321859 [57] Sörensen，M.，“Turchin的超级编译器重访：积极信息传播的操作理论”，技术报告94/7，硕士论文，丹麦哥本哈根大学DIKU，1994年。 [58] Sörensen，M.和Glück，R.，“正超编译中的泛化算法”，inProc。1995年国际逻辑程序设计研讨会（ILPS’95），麻省理工学院出版社，第465-479页，1995年。 [59] Sørensen，M.，Glück，R.和Jones，N.，“一个正的超级编译器”，《函数编程杂志》，第6，6期，第811-8381996页·Zbl 0870.68040号 ·doi:10.1017/S09567968000002008 [60] Turchin，V.，“超级编译器的概念”，《ACM编程语言和系统汇刊》，第8、3页，第292-325页，1986年7月·Zbl 0598.68016号 ·doi:10.1145/5956.5957 [61] Vidal，G.，《基于语义的功能逻辑程序分析与转换》，DSIC博士论文，巴伦西亚政治大学，1996年9月。西班牙语。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。