瓦特，大卫·安东尼;马菲·托马斯 编程语言语法和语义。 （英语） Zbl 0828.68094号 Prentice Hall国际计算机科学系列。伦敦：普伦蒂斯·霍尔。十六、 第389页（1991年）。 本书向读者介绍了指定编程语言的形式化方法。它涵盖了用于语法规范的无上下文语法和正则表达式，以及用于语义规范的指称、代数和动作语义方法。重点在于指称和动作方法。这本书是作为教科书写的。讨论了增加复杂性的示例和运行示例语言；给出了大量的选择答案的练习。该材料在教学上表现得很好。首先只需要掌握数学形式的基本知识。每种方法的介绍都遵循一个精心选择的模式：基本概念都被清楚地介绍了，并由简单的示例激发。至少对符号的直观理解也是如此。然后讨论了常见编程语言概念的应用。本书的主要部分致力于指称语义（98页）和动作语义（约85页）。关于句法的篇幅短得多的一章（36页）为指称方法准备了舞台；然后，基于指称语义和代数语义的action方法需要代数语义（介绍了37页）。我认为这本书是一本关于编程语言形式语义的非常适合的教科书。概念和应用程序的清晰呈现也让已经了解该主题的读者感兴趣。审核人：U.Kastens（帕德博恩） 引用于8文件 MSC公司： 68问题55 计算理论中的语义学 68甲15 编程语言理论 68-01年 与计算机科学相关的介绍性说明（教科书、教程论文等） 关键词：指称语义学;语法;代数语义学 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Watt}和\textit{M.Thomas}，编程语言语法和语义。伦敦：普伦蒂斯·霍尔（1991；Zbl 0828.68094）