图书浏览

审核人：布米迪内·贝尔霍奇

这本书反映了指称语义的重要性日益增长，以及自斯科特和斯特拉奇引入以来人们对指称语义的兴趣日益增加。这本书在逻辑上可以分为三个主要部分：（1）总论，包括导言和第一、二章；（2） 指称语义的应用讨论，包括第4章和第5章以及第7章至第10章；领域理论的涵盖范围，包括第3、6、11和12章。第一部分简要概述了语法和形式语义的方法，并回顾了离散数学课程中通常涉及的集合和函数概念。所提供的材料是初级的，似乎只是为了满足对独立教科书的需求。第二部分论述了这本书的主题。作者对指称语义学的介绍遵循了他所称的“工程观点”，这类似于向工科学生教授数学应用的方法。也就是说，重点是如何构建语义定义。首先，本书描述并采用了指称定义中使用的特定格式。该格式由一个抽象语法部分（用于描述语法域和构造）、一个语义代数部分（用于根据抽象数据类型描述语义域）和一个赋值函数部分（用于说明每个语法类的语义）组成。因此，该格式为构建语义规范提供了逻辑结构和模块化机制。用几个语义定义的例子来说明作者的方法。这些示例逐渐扩展，以涵盖编程语言中的基本概念。第三部分是指称语义学的理论基础。领域理论的介绍相当基础；尽管如此，这是第一本系统地涵盖指称语义学背后的理论和实践的教科书。这本书的结构极具教育性。每一章都包括大量练习和大量建议阅读材料。我认为这本书是对形式语义学领域的一个很好的补充。它可以有效地用作教材，向大学四年级学生介绍指称语义学。