×
霍雷修·西尔斯泰;科莱门·霍特曼;本杰明·瓦克

分布\（\rho\）-演算。 （英语） Zbl 1279.03057号

Denker，Grit（编辑）等人，第六届重写逻辑及其应用国际研讨会论文集（WRLA 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》176，第4期，95-111（2007）。
摘要：重写演算作为一种统一集成重写和（lambda）演算的通用形式主义被引入。在这个微积分中，重写的所有基本成分，如重写规则、规则应用程序和结果，都是一级对象。重写演算最初被设计用于表达基于规则和面向对象范式的语义。我们之前已经证明，收敛项重写系统和经典策略可以在微积分中自然编码。{}在本文中，我们更进一步，提出了微积分的一个扩展版本，允许对无限制的术语重写系统进行编码。这个版本的微积分具有一个新的评估规则来描述结果结构的行为，以及一个按值调用的评估策略。我们证明了所获得的演算的汇合以及所提出编码的正确性和完整性。
关于整个系列，请参见[Zbl 1273.68026号].

引用于2文件

MSC公司：

03B70号 计算机科学中的逻辑
03B40型 组合逻辑与lambda演算
2012年第68季度 语法和重写系统

关键词：

重写微积分;λ演算;术语重写系统;固定点
PDF格式BibTeX公司 XML格式引用
\textit｛H.Cirstea｝等人，电子。注释Theor。计算。科学。176，第4号，95--111（2007；Zbl 1279.03057）
全文： 内政部

参考文献：

[1] Ait-Kaci，H。；Podelski，A。；Smolka，G.，《含蕴涵逻辑程序设计的特征约束系统》，《理论计算机科学》，122，1-2，263-283（1994）·Zbl 0801.68023号
[2] 博罗万斯基，P。；基什内尔，C。；基什内尔，H。；Moreau，P.-E.，《从重写逻辑的角度看ELAN》，《理论计算机科学》，2285155-185（2002）·Zbl 1001.68057号
[3] S.Byun、R.Kennaway、V.van Oostrom和F.de Vries。序列项重写系统到lambda演算的可分性和可翻译性。2001年莱斯特大学技术报告tr-2001-16；S.Byun、R.Kennaway、V.van Oostrom和F.de Vries。序列项重写系统到lambda演算的可分性和可翻译性。2001年莱斯特大学技术报告tr-2001-16
[4] H.Cirstea、C.Houtmann和B.Wack。分布菱形结石。技术报告，INRIA Lorraine，2006年。可在http://hal.iria.fr; H.Cirstea、C.Houtmann和B.Wack。分布菱形结石。技术报告，INRIA Lorraine，2006年。可在http://hal.iria.fr ·Zbl 1279.03057号
[5] 希尔斯塔，H。；Kirchner，C.，《重写演算——第一部分和第二部分》，《纯粹和应用逻辑兴趣小组的逻辑杂志》，9，3，427-498（2001年5月）
[6] 希尔斯塔，H。；基什内尔，C。；Liquori，L.，《匹配能力》，（Middeldorp，A.，《RTA论文集》，2001年。2001年RTA会议录，计算机科学讲稿（2001年5月），施普林格·弗拉格：施普林格尔·弗拉格乌得勒支（荷兰））·Zbl 0981.68065号
[7] H.Cirstea、L.Liquori和B.Wack。用不动点重写微积分：非类型和一阶系统。2003年《类型后处理》；H.Cirstea、L.Liquori和B.Wack。用不动点重写微积分：非类型和一阶系统。2003年类型的后处理·兹比尔1100.03514
[8] K.Futatsugi和A.Nakagawa。咖啡馆项目概述。在程序。CafeOBJ工作室; K.Futatsugi和A.Nakagawa。咖啡馆项目概述。在程序。CafeOBJ工作室
[9] 霍夫曼，C.M。；O'Donnell，M.J.，树中的模式匹配，ACM杂志，29，1，68-95（1982）·Zbl 0477.68067号
[10] G.Huet。解d方程dans les Languages d’Ordre\（1，2，\ldot；，\operatorname{\Omega；}\）；G.Huet。解d方程dans les Languages d’Ordre\（1，2，\ldot；，\operatorname{\Omega；}\）
[11] Knuth，D.E。；莫里斯，J。；Pratt，V.，字符串中的快速模式匹配，SIAM计算杂志，6，2，323-350（1977）·Zbl 0372.68005号
[12] Takahashi，M.，lambda-calculus的并行约简，信息与计算，118，1，120-127（1995）·Zbl 0827.68060号
[13] Maude主页（2003）
[14] van Deursen，A.，ASF+SDF概述，（语言原型（1996），世界科学），1-31
[15] V.van Oostrom。Lambda微积分与模式。技术报告IR-228，信息学院，阿姆斯特丹Vrije大学，1990年；V.van Oostrom。Lambda微积分与模式。技术报告IR-228，信息学院，阿姆斯特丹Vrije大学，1990年·Zbl 1145.68012号
[16] B.怪异。标准计算的类型和产生; B.怪异。计算标准的类型和数据
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。