×

使用\(\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号].

MSC公司:

2012年第68季度 语法和重写系统
68问题55 计算理论中的语义学
PDF格式BibTeX公司 XML格式引用