戈登·普洛金(Gordon D.Plotkin)。 操作语义的结构方法。 (英语) Zbl 1082.68062号 J.日志。阿尔盖布。程序。 60-61, 17-139 (2004). 从文本来看:这些注释的目的是开发一种简单直接的方法来指定编程语言的语义。数学背景要求很低;所涉及的全部是一种或另一种类型的“符号推送”,读者对编程语言的非数值方面或数学逻辑中使用的其他形式演绎系统的经验已经很熟悉。除了一种简单的数学方法外,该方法还旨在产生简明易懂的语义定义。实际上,该方法甚至旨在直接形式化通常的非正式自然语言描述(许多方面)。我在这里应该承认,虽然我有一些经验,但上面所表达的是一种虔诚的希望,而不是事实陈述。我遵循Gordon和Tennent等作者所采用的编程语言方法,考虑到主要的语法类——表达式、命令和声明——以及每个类中的各种特性。语言方法是由斯科特·斯特拉奇学派(与兰丁、麦卡锡和其他人一起)发展起来的,但是在一个可操作的而非指称的框架内。这些注释应被视为试图表明这种方法的可行性。除了所提出的各种治疗不足外,还省略了许多重要的主题。这些包括数据结构和数据类型;从跳跃到异常和协同程序的各种形式的控制结构;并发性包括信号量、监视器和通信进程。 引用于1审查引用于194文件 MSC公司: 第68季度55 计算理论中的语义学 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:语法类 PDF格式BibTeX公司 XML格式引用 \textit{G.D.Plotkin},J.Log。阿尔盖布。程序。60-61、17-139(2004年;Zbl 1082.68062) 全文: 内政部