史蒂文·艾克 使用运算符求值策略重写术语。 (英语) Zbl 0917.68113号 Kirchner,Claude(编辑)等人,重写逻辑及其应用国际研讨会。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。15,电子文件第5号(1998年)。 摘要:我们考虑了在代数规范中执行项重写时出现的一些问题,每个操作符都有其参数的求值策略。每个问题都以OBJ3为例进行了说明。我们提出了一种用于评估Maude解释器中的功能模块的解决方案,该方案基于在必要时通过复制子图来保持术语图的不变量。给出了该技术的可执行Maude规范。关于整个系列,请参见[兹比尔0903.00070]. 引用于10文件 MSC公司: 2012年第68季度 语法和重写系统 68问题65 抽象数据类型;代数规范 关键词:项重写;代数规范;MAUDE公司 软件:OBJ3型;莫德 PDF格式BibTeX公司 XML格式引用 \textit{S.Eker},in:I第二届重写逻辑及其应用国际研讨会,RWLW。。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔。第5号电子文件(1998;Zbl 0917.68113) 全文: 链接