×
塞尔吉奥·安托伊；安迪·乔斯特

在某些构造函数系统中编译折叠规则。 （英语） Zbl 1473.68042号

Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日在意大利锡耶纳举行的2015年LOPSTR第25届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。9527, 57-72 (2015).
摘要：通过图重写的方式实现函数逻辑语言需要对折叠规则进行特殊处理。一些构造函数系统中所需步骤的概念的最新进展为解决这个问题提供了一种新的方法。我们给出了两个结果：一类基于构造函数的重写系统的转换，消除了折叠规则；另一类重写关系利用了折叠规则的缺失。我们正式声明并证明了这些结果的正确性。当结合使用时，这些结果简化了图重写的实现，从而简化了函数逻辑计算，并且没有任何效率损失。
有关整个系列，请参见[Zbl 1326.68017号].

MSC公司：

68号30 软件工程的数学方面（规范、验证、度量、需求等）
68N20型 编译与解释理论
第68季度第42季度 语法和重写系统

软件：

咖喱；PAKCS公司；DACTL公司
PDF格式BibTeX公司 XML格式引用
\textit{S.Antoy}和\textit{A.Jost}，莱克特。票据计算。科学。9527，57-72（2015；Zbl 1473.68042）
全文： 内政部 链接

参考文献：

[1] Alpuente，M.、Falaschi，M.和Vidal，G.：功能逻辑程序的部分评估。ACM事务处理。程序。语言系统。20(4), 768–844 (1998) ·数字对象标识代码：10.1145/291891.291896
[2] Antoy，S.：定义树。收录：Kirchner，H.，Levi，G.（编辑）ALP 1992。LNCS，第632卷。斯普林格，海德堡（1992）
[3] Antoy，S.：最佳非确定性函数逻辑计算。收录于：Hanus，M.、Heering，J.、Meinke，K.（编辑）ALP 1997和HOA 1997。LNCS，第1298卷。施普林格，海德堡（1997）。http://cs.pdx.edu/antoy/homepage/publications/alp97/full.pdf ·Zbl 0886.68034号
[4] Antoy，S.：函数逻辑编程的评估策略。J.塞姆。计算。40(1), 875–903 (2005) ·兹比尔1129.68019 ·doi:10.1016/j.jsc.2004.12.007
[5] Antoy，S.：缩小编程。J.塞姆。计算。45(5), 501–522 (2010) ·Zbl 1192.68135号 ·doi:10.1016/j.jsc.2010.01.006
[6] Antoy，S.，Hanus，M.：函数逻辑编程。通信ACM 53（4），74–85（2010）·Zbl 05748176号 ·数字对象标识代码：10.1145/1721654.1721675
[7] Antoy，S.，Jost，A.：真的需要兑换吗？摘自：《第十五届声明性编程原则与实践研讨会论文集》，PPDP 2013，第61-71页。ACM，纽约（2013）
[8] Antoy，S.，Peters，A.：编译函数逻辑语言：基本方案。收录：Schrijvers，T.，Thiemann，P.（编辑）FLOPS 2012。LNCS，第7294卷，第17-31页。斯普林格，海德堡（2012）·Zbl 06059263号 ·doi:10.1007/978-3-642-29822-65
[9] Ariola，Z.M.，Klop，J.W.：等式项图重写。芬丹。Inf.26，207–240（1996）·Zbl 0854.68049号
[10] Ariola，Z.M.，Klop，J.W.，Plump，D.：术语图重写中的双相似性。Inf.计算。156(12), 2–24 (2000) ·Zbl 1045.68590号 ·doi:10.1006/inco.1999.2824
[11] Barendregt，H.P.，van Eekelen，M.C.J.D.，Glauert，J.R.W.，Kennaway，J.R.，Plasmeijer，M.J.，Sleep，M.R.：术语图重写。收录人：de Bakker，J.W.，Nijman，A.J.，Trelevan，P.C.（编辑）PARLE Parallel Architectures and Languages Europe。计算机科学课堂讲稿，第259卷，第141-158页。斯普林格，海德堡（1987）·Zbl 0681.68037号 ·数字对象标识代码：10.1007/3-540-17945-38
[12] Bezem，M.，Klop，J.W.，de Vrijer，R.：术语重写系统。剑桥大学出版社，剑桥（2003）·Zbl 1030.68053号
[13] Clarke，T.J.W.，Gladstone，P.J.S.，MacLean，C.D.，Norman，A.C.：刮削-S，k，i还原机。摘自：《1980年ACM LISP和函数编程会议记录》，LFP 1980，第128–135页。ACM，纽约（1980）·数字对象标识代码：10.1145/800087.802798
[14] Echahed，R.：归纳顺序术语-粒度重写系统。收录人：Ehrig，H.，Heckel，R.，Rozenberg，G.，Taentzer，G..（编辑）ICGT 2008。LNCS，第5214卷。斯普林格，海德堡（2008）·Zbl 1175.68220号
[15] Echahed，R.，Janodet，J.C.：关于基于构造器的图重写系统。技术报告985-I，IMAG（1997）。ftp://ftp.imag.fr/pub/labo-LEIBNIZ/OLD-archives/PMP/c-graph-rewriting.ps.gz
[16] Fokkink，W.，van de Pol，J.：模拟是重写系统的正确转换。收录：Privara，I.，Ruíicka，P.（编辑）MFCS 1997。LNCS，第1295卷。斯普林格，海德堡（1997）·Zbl 0941.68067号
[17] Glauert，J.R.W.，Kennaway，R.，Papadopoulos，G.A.，Sleep，M.R.：Dactl：实验图形重写语言。J.程序。语言5（1），85–108（1997）
[18] Hanus，M.：将函数集成到逻辑编程中：从理论到实践。J.日志。程序。19&20, 583–628 (1994) ·Zbl 0942.68526号 ·doi:10.1016/0743-1066（94）90034-5
[19] Hanus，M.：《函数逻辑编程：从理论到咖喱》。收录：Voronkov，A.，Weidenbach，C.（编辑）《编程逻辑》。LNCS，第7797卷，第123–168页。斯普林格，海德堡（2013）·Zbl 1383.68017号 ·doi:10.1007/978-3-642-37651-16
[20] Hanus，M.：PAKCS 1.11.4：波特兰-亚琛-基尔咖喱体系（2014）。http://www.informatik.uni-kiel.de/pakcs
[21] Huet，G.，Lévy，J.-J.：正交项重写系统中的计算，I.in:Lassez，J.-L.，Plotkin，G.（编辑）计算逻辑。：艾伦·罗宾逊荣誉论文，第395-414页。麻省理工学院出版社，剑桥（1991）
[22] Kamperman，J.F.T.，Walters，H.R.：用最小TRS模拟TRS是一种简单、高效、正确的编译技术。技术报告CS-R9605，CWI（1996）
[23] Kennaway，J.R.，Klop，J.K.，Sleep，M.R.，de Vries，F.J.：术语图重写对模拟术语重写的充分性。摘自：Sleep，M.R.，Plasmeijer，M.J.，van Eekelen，M.C.J.D.（编辑）《术语图改写理论与实践》，第157-169页。J.Wiley&Sons，奇切斯特（1993）
[24] 兰丁，P.J.：表达式的机械评估。计算。J.6（4），308–320（1964）·Zbl 0122.36106号 ·doi:10.1093/comjnl/6.4.308
[25] Plump，D.：术语图重写。收录于：Kreowski，H.-J.，Ehrig，H.，Engels，G.，Rozenberg，G.（编辑）《图形语法手册》，第2卷，第3-61页。《世界科学》（1999）·doi:10.1142/97898128151490001
[26] Plump，D.：术语图重写的要点。选举人。注释Theor。计算。科学。51, 277–289 (2001) ·Zbl 1263.68092号 ·doi:10.1016/S1571-0661（04）80210-X
[27] Sleep，M.R.，Plasmeijer，M.J.，van Eekelen，M.C.J.D.（编辑）：术语图改写理论与实践。J.Wiley&Sons，奇切斯特（1993）·兹伯利0818.68099
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。