本书第1版自1999年出版以来,编程语言的研究已得到迅猛发展。为此,新版尽量贴近现今的发展趋势,以适应当前和未来编程语言设计过程中所伴随的新挑战。本书除了进一步提高了4种程序设计范型及其所用的语言的广度和深度外,还大大丰富了关于语言设计原理的内容,并新增了如Python、Perl这类编程语言的例子。本书主要结构 **部分:原理。第2、4、5、7、9章分别讲述了编程语言的5个核心原理(语法、名称、类型、语义和函数)。第3、6、8、10、11章加深对这些主题的阐述。 第二部分:范型。包含4个主要的程序范型。其中,第12章是全新内容,主要讲解了在C、Ada和Perl这3种不同的语言中命令式编程的关键特点。第13章在第1版的基础上进行了较多的改写,主要使用Java、Smalltalk和Python来研究面向对象语言的特点。第14章和第15章分别对函数式编程和逻辑式编程进行了区分。 第三部分:专题。第16章和第17章主要讲解事件处理和并发性。第18章具体阐述了正确性的相关内容。在学习本书之前,读者应该具备数据结构方面的知识,熟悉Java、C、C++或C#等编程语言,*好还能了解一下初等离散数学和

第1章 概论
1.1 原理
程序设计人员要掌握语言的结构、含意和有助于理解程序运行的范例中的一些基本术语。这些术语主要包括3大类,称为语言设计的3个原理:
·语法。
·命名和类型。
·语义。
以上3类中的许多概念都是从语言学、数学及下面将要学到的知识中借用过来的。在第2、4、5、7、9章分别对这几个原理进行介绍。随着学习的深入,会在第3、6、8、10和11章中有深入探讨各原理。
1.语法
语法是语言正确描述程序的规则。它能回答许多问题。比如,怎样用语言书写一段程序?在正确的程序中,关键字和标识符是怎样的?
大多数编程语言的语法是根据语言学中“上下文无关文法”的语法定义的。上下文无关文法之外的语法有其他的含意。在本文中的第2章对此有详细的讲解。
学习语言语法面临着很多的问题。编译器怎样识别语法?怎样发现语法中的错误?上下文无关文法怎样使语法分析器容易实现?第3章将对这些关于语法的深层次问题进行回答。
2.命名和类型
编程语言还包括一套详尽的命名规则——变量、函数、类和参数等。在程序运行的过程中,命名还有一些其他的特征,如作用域、生命周期和约束条件。编程语言中的命名语法和语义是第4章中的内容。
编程语言中的不同类型可以表示值的取值范围,使程序能够处理数据。这些类型包括简单类型、结构体类型及更为复杂的类型。简单类型有整型、十进制数、字符型和布尔型。结构体包括字符串、链表、树和哈希表。更加复杂的类型包括函数和类。各种类型在第5章中有全面的介绍。
类型系统使程序员更容易理解和实现不同类型的值的操作。一个严瑾、特有的类型系统使编译器在程序运行之前,进行严格的类型检查,避免程序运行过程中因为类型不匹配而导致的错误。在第6章中,将深入学习类型系统。
……

第1章 概论
1.1 原理
1.2 范例
1.3 专题
1.4 编程语言发展简史
1.5 关于语言设计
1.6 编译器和虚拟机
1.7 小结
1.8 练习
第2章 语法
2.1 文法
2.2 BNF扩展
2.3 小语言CLITE的语法
2.4 编译器和解释器
2.5 语法和语义学链接
2.6 小结
2.7 练习
第3章 词法和语法分析
3.1 Chomsky层次结构
3.2 词法分析
3.3 语法分析
3.4 小结
3.5 练习
第4章 命名
4.1 语法问题
4.2 变量
4.3 作用域
4.4 符号表
4.5 解析引用
4.6 动态作用域
4.7 可见性
4.8 重载
4.9 生存期
4.10 小结
4.11 练习
第5章 类型
5.1 类型错误
5.2 静态类型和动态类型
5.3 基本类型
……
第6章 类型系统
第7章 语义
第8章 语义解释
第9章 函数
第10章 函数实现
第11章 内存管理
第12章 命令式 编程
第13章 面向对象编程
第14章 函数式编程
第15章 逻辑式编程
第16章 事件驱动编程
第17章 并发编程
第18章 程序的正确性
附录A Clite的定义
附录B 离散数学回顾