马丁·奥列特,纳西索;米格尔·帕洛米诺;阿尔贝托·维尔德乔 语义框架中的策略和模拟。 (英语) Zbl 1131.68059号 J.算法 62,编号3-4,95-116(2007). 摘要:通过各种语言的结构操作语义的几个例子,我们证明了在重写逻辑提供的语义框架中使用策略和模拟概念的重要性和兴趣,并在Maude元语言中实现。一方面,我们描述了Maude的基本策略语言,并展示了它在CCS、环境演算和并行函数语言Eden中的应用。另一方面,我们展示了如何在Maude中使用结巴模拟的概念,以证明堆栈机器正确地实现了简单函数语言的操作语义。 引用于4文件 MSC公司: 68问题55 计算理论中的语义学 68甲18 函数编程和lambda演算 2012年第68季度 语法和重写系统 关键词:策略;仿真;重写逻辑;莫德;操作语义学 软件:莫德;2月2日;西洋陆军棋 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}等人,J.Algorithms 62,No.3--4,95-116(2007;Zbl 1131.68059) 全文: DOI程序