×

使用运算符求值策略重写术语。 (英语) Zbl 0917.68113号

Kirchner,Claude(编辑)等人,重写逻辑及其应用国际研讨会。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。15,电子文件第5号(1998年)。
摘要:我们考虑了在代数规范中执行项重写时出现的一些问题,每个操作符都有其参数的求值策略。每个问题都以OBJ3为例进行了说明。我们提出了一种用于评估Maude解释器中的功能模块的解决方案,该方案基于在必要时通过复制子图来保持术语图的不变量。给出了该技术的可执行Maude规范。
关于整个系列,请参见[兹比尔0903.00070].

MSC公司:

2012年第68季度 语法和重写系统
68问题65 抽象数据类型;代数规范

软件:

OBJ3型;莫德
PDF格式BibTeX公司 XML格式引用
全文: 链接