×

Maude的可扩展模块代数。 (英语) Zbl 0919.68076号

Kirchner,Claude(编辑)等人,重写逻辑及其应用国际研讨会。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。15,电子文件第13号(1998年)。
摘要:重写逻辑和Maude是反射性的,因此重写逻辑规范可以作为元级的术语进行操作,这为在逻辑中定义模块组合和转换操作的代数提供了可能性。这使得这样的模块代数易于修改和扩展,允许在Maude中实现语言扩展,并允许对模块操作本身进行形式化推理。本文详细讨论了这种类型的模块代数的特定操作选择的Maude实现,支持Clear/OBJ传统中的模块操作,以及将面向对象的模块转换为系统模块。
关于整个系列,请参见[兹比尔0903.00070].

MSC公司:

2012年第68季度 语法和重写系统

关键词:

重写逻辑;莫德

软件:

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