曼纽尔·克莱维尔;何塞·梅塞盖尔 重写逻辑中的反思和策略。 (英文) Zbl 0917.68107号 Meseguer,J.(编辑),重写逻辑及其应用。1996年9月3日至6日,美国加利福尼亚州太平洋格罗夫,第一届国际研讨会会议记录。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。第4、23页(1996年)。 摘要:在给出了用普遍理论的概念来表征一般逻辑中的反射的一般元逻辑公理之后,本文指定了重写逻辑的有限表示的普遍理论,并详细证明了作者[1996(Proc.reflection’96)]关于重写逻辑是反射的主张。本文还给出了给定逻辑内部策略语言概念的一般公理。利用重写逻辑是自反的这一事实,提出了一种为其定义内部策略语言并证明其正确性的通用方法,并用实例加以说明。莫德语被用作探索这些技术的实验工具。它们在诸如元编程和模块组合、逻辑框架表示、正式编程和证明环境的开发、超级编译以及策略的正式验证等应用程序中似乎很有前途。关于整个系列,请参见[Zbl 0903.00068号]. 引用于17文件 MSC公司: 2012年第68季度 语法和重写系统 关键词:重写逻辑;莫德语 软件:莫德 PDF格式BibTeX公司 XML格式引用 \textit{M.Clavel}和\textit{J.Meseguer},in:重写逻辑及其应用程序。第一届国际研讨会会议记录,美国加利福尼亚州太平洋格罗夫,1996年9月3日至6日。阿姆斯特丹:爱思唯尔。23页(1996年;Zbl 0917.68107) 全文: 链接