M.克拉维尔。;F.杜兰。;艾克,S。;林肯,P。;新墨西哥州马丁·奥列特。;梅萨格,J。;J.F.奎萨达。 莫德语是一种元语言。 (英语) Zbl 0917.68106号 Kirchner,Claude(编辑)等人,重写逻辑及其应用国际研讨会。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔,《理论计算机科学电子笔记》。15,第16号电子文件(1998年)。 摘要:重写逻辑从一开始的关键目标之一就是提供一个语义和逻辑框架,在这个框架中可以自然地表示许多计算模型和语言。到目前为止,有非常广泛的证据支持重写逻辑确实是一个非常灵活和简单的逻辑和语义框架的说法。从语言设计的角度来看,显而易见的问题是:重写逻辑语言如何才能最好地支持逻辑和语义框架应用程序,这样它就变成了一种元语言,在这种元语言中,各种各样的逻辑和语言都可以在语义上定义和实现?我们的答案是:通过反思。本文讨论了我们在Maude上的最新语言设计和实现工作,它是一种反射性元语言,在这种元语言中,可以为语言或逻辑(L)定义整个环境,包括语法定义、解析、漂亮打印、执行和输入/输出。关于整个系列,请参见[Zbl 0903.00070号]. 引用于4文件 MSC公司: 2012年第68季度 语法和重写系统 关键词:重写逻辑 软件:莫德 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}等人,收录于:ITRWLW第二届重写逻辑及其应用国际研讨会。。1998年9月,法国蓬塔·穆松修道院。阿姆斯特丹:爱思唯尔。第16号电子文件(1998;Zbl 0917.68106) 全文: 链接