×
保罗·巴尔丹；克拉拉·贝托利西

图重写演算中的共享。 （英语） Zbl 1312.68111号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137，27-41（2012）。
摘要：图重写演算是\（\rho \）演算的扩展，处理类似图的结构，具有显式的共享和循环，而不是简单的术语。我们研究了图重写演算的约简策略，旨在尽可能长时间地保持项的共享。我们证明了相对于图重写演算的原始语义，相应的约简关系是充分的，从而形成了该策略避免无用的非共享的直觉。
有关整个系列，请参见[兹比尔1236.68008].

MSC公司：

第68季度第42季度 语法和重写系统
68甲18 函数编程和lambda演算

软件：

ELAN公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}和\textit{C.Bertolissi}，莱克特。票据计算。科学。7137，27-41（2012；Zbl 1312.68111）
全文： 内政部

参考文献：

[1] Ariola，Z.M.，Klop，J.W.：等式项图重写。基础信息学26（3-4），207-240（1996）·Zbl 0854.68049号
[2] Ariola，Z.M.，Klop，J.W.：显式递归的Lambda演算。信息与计算139（2），154-233（1997）·Zbl 0892.68015号 ·doi:10.1006/inco.1997.2651
[3] Baader，F.，Nipkow，T.：术语重写和所有这些。剑桥大学出版社，纽约（1998）·Zbl 0948.68098号 ·doi:10.1017/CBO9781139172752
[4] Baldan，P.，Bertolisi，C.，Cirstea，H.，Kirchner，C.：循环高阶项图的重写演算。计算机科学中的数学结构17（3），363–406（2007）·Zbl 1125.68062号 ·doi:10.1017/S096012907006093
[5] Baldan，P.，Bertolissi，C.，Cirstea，H.，Kirchner，C.：图重写演算的共享策略。摘自：WRS 2007年会议记录。选举人。注释Theor。计算。科学。，第204卷，第111-127页。爱思唯尔（2008）·Zbl 1279.68111号 ·doi:10.1016/j.entcs.2008.03.057
[6] Barendregt，H.：《Lambda-Calculus，其语法和语义》，第2版。逻辑与数学基础研究。北荷兰，阿姆斯特丹（1984）·Zbl 0551.03007号
[7] 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 1987。LNCS，第259卷，第141-158页。斯普林格，海德堡（1987）·Zbl 0681.68037号 ·数字对象标识代码：10.1007/3-540-17945-38
[8] Bertolissi，C.：图重写演算：属性和表达能力。法国南希INPL大学博士（2005）
[9] Bertolissi，C.，Kirchner，C.：作为组合约简系统的重写微积分。收录：Seidl，H.（编辑）FOSSACS 2007。LNCS，第4423卷，第78-92页。斯普林格，海德堡（2007）·Zbl 1195.68051号 ·doi:10.1007/978-3-540-71389-0_7
[10] Borovansky，P.、Kirchner，C.、Kirchner，H.、Moreau，P.E.、Ringeisesen，C.：ELAN概述。收录：Kirchner，C.、Kirchner、H.（编辑）Proc。1998年WRLA。选举人。注释Theor。计算。科学。，第15卷，第55–70页（1998年）·doi:10.1016/S1571-0661（05）82552-6
[11] Cirstea，H.，Kirchner，C.：重写演算——第一部分和第二部分。纯粹和应用逻辑兴趣小组的逻辑杂志9（3），427–498（2001）·Zbl 0986.03027号
[12] Corradini，A.：CT{\（\Sigma\）}中的术语重写。收录：Gaudel，M.-C.，Jouannaud，J.-P.（编辑）TAPSOFT 1993。LNCS，第668卷，第468–484页。斯普林格，海德堡（1993）·doi:10.1007/3-540-56610-4_83
[13] Corradini，A.，Drewes，F.：（循环）项图重写足以进行有理并行项重写。技术代表TR-97-14，比萨信息学院（1997）
[14] Corradini，A.，Gadducci，F.：循环结构的重写：操作描述和范畴描述的等价性。理论信息学与应用33，467–493（1999）·Zbl 0940.18002号 ·doi:10.1051/ita:199128
[15] Kennaway，J.R.，Klop，J.W.，Sleep，M.R.，de Vries，F.J.：关于图形重写对模拟术语重写的充分性。美国计算机学会程序设计语言与系统汇刊16（3），493–523（1994）·数字对象标识代码：10.1145/177492.177577
[16] Kirchner，C.，Qian，Z.，Singh，P.K.，Stuber，J.：Xemantics：重写基于计算的XSLT语义。技术代表A01-R-386，Loria Inria（2002）
[17] Klop，J.W.，van Oostrom，V.，de Vrijer，R.：带模式的Lambda微积分。西奥。计算。科学。 398(1-3), 16–31 (2008) ·兹比尔1145.68012 ·doi:10.1016/j.tcs.2008.01.019
[18] Lamping，J.：最佳lambda演算约简算法。In：程序。POPL 1990，第16-30页。ACM（1990）·doi:10.1145/96709.96711
[19] Peyton-Jones，S.：函数式编程语言的实现。普伦蒂斯·霍尔公司（1987）·兹比尔0712.68017
[20] Plump，D.：术语图重写。收录：《图形语法和图形转换计算手册》，第2卷，第3-61页（1999年）·doi:10.1142/97898128151490001
[21] Sleep，M.R.，Plasmeijer，M.J.，van Eekelen，M.C.J.D.（编辑）：术语图改写：理论与实践。威利，伦敦（1993）·兹伯利0818.68099
[22] Van Eekelen，M.，Plasmeijer，R.：函数编程和并行图重写。艾迪森·韦斯利（1993）·Zbl 0788.68023号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。