编程语言

第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　语法和语义学链接

第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　离散数学回顾

本书第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#等编程语言，最好还能了解一下初等离散数学和离散结构课程。本书所涉及的软件都可在Java 1．5或更高版本中运行。