本书分为三大部分，第一部分包括5个核心原理：语法、名称、类型、语义和函数；第二部分包含4个主要的程序范例：命令式编程、面向对象编程、函数式编程和逻辑式编程；第三部分包括3个专题：事件处理、并发性、正确性。最后分析了编程语言在支持常用方法上的发展。

本书第1版自1999年出版以来，编程语言的研究已经得到了迅猛发展，为些，新版尽量贴近现今的发展趋势，以适应当前和未来编程语言设计过程中所伴随的新挑战。本书除了进一步提高了4种程序设计范型及其所用的语言的广度和深度外，还大大丰富了关于语言设计原理的内容，并新增了如Python、Perl这类编程语言的例子。

第1章 概论

 1.1 原理

 1.2 范例

 1.3 专题

 1.4 编程语言发展简史

 1.5 关于语言设计

1.5.1 设计约束

1.5.2 结果和目标

 1.6 编译器和虚拟机

 1.7 小结

 1.8 练习

第2章 语法

第3章 词法和语法分析

第4章 命名

第5章 类型

第6章 类型系统

第7章 语义

第8章 语义解释

第9章 函数

第10章 函数实现

第11章 内存管理

第12章 命令式编程

第13章 面向对象编程

第14章 函数式编程

第15章 逻辑式编程

第16章 事件驱动编程

第17章 并发编程

第18章 程序的正确性

附录A Clite的定义

附录B 离散数学回顾