马修·轩尼诗 编程语言的语义。使用结构操作语义的初步介绍。 （英语） Zbl 0723.68067号 奇切斯特等：约翰·威利父子公司。十二、 第157页（1990年）。 这本书以一种在本科生职业生涯中不太先进的学生可以使用的形式，对编程语言的语义进行了初步介绍。这本书分为六章。第1章介绍了本书其余部分的必要序言。在简要讨论了句法和语义之后，解释了抽象句法和具体句法的区别。本章的其余部分致力于对归纳法和归纳定义的阐述。在第2章中，共讨论了四种不同的语义方法：具体的操作语义（这是对运行在高级抽象机器上的语言的抽象解释器或编译器的定义）、评估语义（这试图定义评估或运行程序以完成的结果）、，计算语义（试图定义在特定程序的计算或评估中执行一个步骤的效果）和指称语义（在抽象模型中解释语言）。第三章是评价语义学。第四章给出了三种风格迥异的语言的评估语义：第一种是基于“while”语句的简单命令式语言，第二种是用于计算器的语言，第三种是用于流处理的语言。下一章专门讨论计算语义，并给出了三个示例。在最后一章中，给出了Dijkstra的Guarded命令语言和基于Occam的简单并行语言的操作语义。书的结尾是一篇结语，其中简要讨论了编程语言语义的历史发展，并提供了进一步阅读的指南。审核人：F.-L.Tiplea（拉什） 引用于22文件 MSC公司： 第68季度55 计算理论中的语义学 68-01 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：操作语义学;评估语义;计算语义;指称语义学 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}，编程语言的语义。使用结构操作语义的初步介绍。奇切斯特等：约翰·威利父子（1990；Zbl 0723.68067）