×
鲍尔丹，P。;贝托利西，C。;希尔斯塔，H。;C·基什内尔。

图重写演算的共享策略。 （英语） 兹比尔1279.68111

Giesl，J.（编辑），第七届重写和编程中的减少策略国际研讨会论文集（WRS 2007），法国巴黎，2007年6月25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记204111-127（2008）。
摘要：图重写演算是\（\rho \）演算的扩展，处理类似图的结构，而不是简单的术语。除了标准的演算匹配约束外，还使用统一约束对项演算进行了自然推广。转换是通过显式应用重写规则作为第一类实体来执行的。表示共享和循环的可能性允许对规则的无限实体进行表示和计算。{}本文提出了一种图重写演算的约简策略，旨在尽可能长时间地保持项中的共享信息。图重写演算的小步语义证明了相应的约简关系是合流的和完全的。
关于整个系列，请参见[Zbl 1276.68016号].

引用于1文件

MSC公司：

2012年第68季度 语法和重写系统

关键词：

重写微积分;术语图;共享;减排战略;汇流;匹配和统一约束
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《电子》。注释Theor。计算。科学。204111-127（2008年；Zbl 1279.68111）
全文： 内政部

参考文献：

[1] 阿里奥拉，Z.M。；Klop，J.W.，等式项图重写，《基础信息》，26，3-4，207-240（1996）·Zbl 0854.68049号
[2] 阿里奥拉，Z.M。；Klop，J.W.，带显式递归的Lambda演算，信息与计算，139，2，154-233（1997）·Zbl 0892.68015号
[3] 贝尔托利西，C。；巴尔丹，P。；希尔斯塔，H。；基什内尔，C。；Fernandez，M.，《循环高阶项图的重写演算》，第二届项图重写国际研讨会。第二届术语图改写国际研讨会，意大利罗马。第二届术语图改写国际研讨会。第二届术语图改写国际研讨会，意大利罗马，理论计算机科学电子笔记，127，21-41（2005年9月）·兹比尔1272.68167
[4] C.Bertolisi、P.Baldan、H.Cirstea和C.Kirchner。循环高阶项图的重写演算。出现在计算机科学中的数学结构; C.Bertolissi、P.Baldan、H.Cirstea和C.Kirchner。循环高阶项图的重写演算。出现在计算机科学中的数学结构·Zbl 1125.68062号
[5] Barthe，G。；希尔斯塔，H。；基什内尔，C。；Liquori，L.，《纯模式类型系统》（Pure Patterns Type Systems），（《POPL'03会议录：编程语言原理》，《POPL'03会议记：编程语言原则》，美国新奥尔良（2003），ACM），250-261，第38卷·Zbl 1321.68137号
[6] C.贝尔托利西。图重写演算：性质和表达能力; C.贝尔托利西。图重写演算：性质和表达能力·Zbl 1171.68508号
[7] 巴伦德雷格特，H.P。；van Eekelen，M.C.J.D。；Glauert，J.R.W。；Kennaway，J.R。；Plasmeijer，M.J。；Sleep，M.R.，术语图重写，（《1987年欧洲并行体系结构与语言会议录》，1987年欧洲平行体系结构和语言会议录，计算机科学讲义，第259卷（1987），斯普林格·弗拉格：斯普林格尔·弗拉格·埃因霍温），141-158
[8] Corradini，A。；Gadducci，F.，《循环结构的重写：运算和范畴描述的等价性》，《理论信息学与应用》，第33期，第467-493页（1999年）·Zbl 0940.18002号
[9] Horatiu Cirstea、Clement Houtmann和Benjamin Wack。分布菱形结石。在第六届重写逻辑及其应用国际研讨会; Horatiu Cirstea、Clement Houtmann和Benjamin Wack。分布菱形结石。在第六届重写逻辑及其应用国际研讨会·Zbl 1279.03057号
[10] 希尔斯塔，H。；Kirchner，C.，《重写演算》，《纯粹和应用逻辑兴趣小组的逻辑杂志》，9，3，427-498（2001年5月），第一部分和第二部分
[11] H.Cirstea、C.Kirchner、L.Liquori和B.Wack。重写微积分中的重写策略。编辑Bernhard Gramlich和Salvador Lucas，第三次改写和编程减少战略国际研讨会; H.Cirstea、C.Kirchner、L.Liquori和B.Wack。重写演算中的重写策略。编辑Bernhard Gramlich和Salvador Lucas，第三次改写和编程减少战略国际研讨会·Zbl 1270.68122号
[12] 希尔斯塔，H。；利库里，L。；Wack，B.，《用不动点重写微积分：无类型和一阶系统》，（Berardi，Stefano；Coppo，Mario；Damian，Ferruccio，《证明和程序类型》。《证明和编程类型》，（Types），都灵（意大利）。校对和程序的类型。证明和程序类型，（Types），都灵（意大利），计算机科学讲义，第3085卷（2003年5月），147-171·Zbl 1100.03514号
[13] Corradini，A.，《（C T_\Sigma）中的术语重写》，（Gaudel，M.-C.；Jouannaud，J.-P.，《TAPSOFT’93论文集，软件开发的理论与实践》，《TAPS’93论文集中，软件开发理论与实践，第四届CAAP/FASE国际联合会议》（1993），施普林格：施普林格柏林），468-484·Zbl 1497.68241号
[14] Jouannaud，J.-P。；Kirchner，H.，方程组模的一组规则的完备化，SIAM计算杂志，15，4，1155-1194（1986）·Zbl 0665.03005号
[15] Ohlebusch，E.，Church-Rosser抽象约化模与等价关系定理，（Nipkow，T.，《第九届改写技术与应用国际会议论文集》，第九届国际改写技术和应用会议论文集，（RTA-98）。第九届改写技术与应用国际会议论文集。第九届改写技术与应用国际会议论文集，（RTA-98），计算机科学讲稿，第1379卷（1998），施普林格出版社，17-31
[16] Peyton-Jones，S.，《函数编程语言的实现》（1987），普伦蒂斯·霍尔公司·Zbl 0712.68017号
[17] 彼得森，G。；Stickel，M.E.，一些等式理论的全套约简，ACM杂志，28，233-264（1981）·Zbl 0479.68092号
[18] （Sleep，M.R.；Plasmeijer，M.J.；van Eekelen，M.C.J.D.，《术语图改写：理论与实践》（1993），威利出版社：威利伦敦）·Zbl 0818.68099号
[19] B.怪异。计算标准的类型和数据; B.怪异。计算标准的类型和数据
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。