霍雷修·西尔斯泰;克洛德·基什内尔 使用\(\rho\)-演算结合高阶和一阶计算:朝向ELAN的语义。 (英语) Zbl 1004.68080号 Gabbay,Dov M.(编辑)等人,《组合系统的前沿》2。1998年10月2日至4日,荷兰阿姆斯特丹,第二届国际研讨会(FroCoS’98)论文选集。巴尔多克:研究出版社。螺柱日志。计算。7, 95-119 (2000). 摘要:我们给出了(ρ)-演算的一般性质,并使用显式替换给出了演算的一阶表示。\(\rho\)-微积分在概念上既简单又富有表现力。这使我们能够展示如何使用\(\rho\)-演算为ELAN规则提供语义。更一般地说,必须研究许多其他框架的应用程序,包括基于重写的语言,如\(\text{ASF}+\text{SDF}\)、ML、Maude或CafeOBJ,以及非确定性转换系统。在使用微积分结合一阶和高阶范式的众多研究方向中,我们现在正在深化微积分与重写逻辑的关系,我们计划研究这种微积分与CRS和HOR等高阶重写概念的关系。关于整个系列,请参见[Zbl 0978.00029号]. 引用于5文件 MSC公司: 2012年第68季度 语法和重写系统 68问题55 计算理论中的语义学 关键词:\(\rho\)-微积分 软件:莫德;埃兰;咖啡馆OBJ PDF格式BibTeX公司 XML格式引用 \textit{H.Cirstea}和\textit{C.Kirchner},Stud.Log。计算。7、95——119(2000年;Zbl 1004.68080)