弗朗西斯科·杜兰;何塞·梅塞格尔 Maude的可扩展模块代数。 (英语) Zbl 0919.68076号 Kirchner,Claude(编辑)等人,重写逻辑及其应用国际研讨会。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。15,电子文件第13号(1998年)。 摘要:重写逻辑和Maude是反射性的,因此重写逻辑规范可以作为元级的术语进行操作,这为在逻辑中定义模块组合和转换操作的代数提供了可能性。这使得这样的模块代数易于修改和扩展,允许在Maude中实现语言扩展,并允许对模块操作本身进行形式化推理。本文详细讨论了这种类型的模块代数的特定操作选择的Maude实现,支持Clear/OBJ传统中的模块操作,以及将面向对象的模块转换为系统模块。关于整个系列,请参见[兹比尔0903.00070]. 引用于6文件 MSC公司: 2012年第68季度 语法和重写系统 关键词:重写逻辑;莫德 软件:莫德 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer},收录于:I第二届重写逻辑及其应用国际研讨会,RWLW。。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔。第13号电子文件(1998;Zbl 0919.68076) 全文: 链接