本书是关于介绍“程序设计语言原理”的教学用书，具体包括了：主要程序设计语言的发展、学习程序设计语言原理的缘由、抽象数据类型和封装结构、描述语法和语义、函数式程序设计语言、逻辑程序设计语言、表达式与赋值语句等方面的内容。

本书从为什么学习程序设计语言人手，深入细致地讲解了命令式语言的主要结构及其设计与实现，内容涉及变量、数据类型、表达式和赋值语句、控制语句、子程序、数据抽象机制、支持面向对象程序设计（继承和动态方法绑定）、并发程序单元和异常处理等方面。在最后两章介绍了函数式程序设计语言和逻辑程序设计语言。

本书内容丰富，剖析透彻，被美国和加拿大多所高等院校采用作为教材。奉书既可用做高等院校计算机及相关专业本科生程序设计语言课程的教材和参考书，也可供程序设计人员参考。

出版者的话

专家指导委员会

译者序

前言

第1章 基本概念

 1．1 学习程序设计语言原理的缘由

 1．2 程序设计应用领域

 1．3 语言评估标准

 1．4 影响语言设计的因素

 1．5 语言分类

 1．6 语言设计中的权衡

 1．7 实现方法

 1．8 程序设计环境

 小结*复习题*练习题

第2章 主要程序设计语言的发展

 2．1 Zuse的Plankalkiil语言

 2．2 最小硬件的程序设计：伪代码

 2．3 IBM 704计算机与：Fortrzan

 2．4 函数式程序设计：LISP语言

 2．5 迈向成熟的第一步：ALGOL 60

 2．6 商务记录计算机化：COBOL

 2．7 分时操作的开始：BASIC

 2．8 用途广泛的语言：PL/I

 2．9 两种早期的动态语言：APL和SNOBOI

 2．10 数据抽象的开始：SIMULA 67

 2．11 正交性语言的设计：ALGOL 68

 2．12 早期ALGOL系列语言的后代产品

 2．13 基于逻辑的程序设计：Prolog

 2．14 历史上规模最大的语言设计：Ada

 2．15 面向对象的程序设计：Smalltalk

 2．16 结合命令式与面向对象的特性：C++

 2．17 一种基于命令式的面向对象语言：Java

 2．18 脚本语言：JavaScript、PHP及Python

 2．19 一种基于C的新世纪语言：C#

 2．20 标志与程序设计混合式语言

 小结*文献注释*复习题*练习题

第3章 描述语法和语义

 3．1 概述

 3．2 描述语法的普遍问题

 3．3 描述语法的形式方法

 3．4 属性文法

 3．5 描述程序的意义：动态语义

 小结*文献注释*复习题*练习题

第4章 词法分析和语法分析

 4．1 概述

 4．2 词法分析

 4．3 语法分析问题

 4．4 递归下降语法分析

 4．5 自底向上语法分析

 小结*复习题*练习题*程序设计练习题

笫5章 名字、绑定、类型检测和作用域

 5．1 概述

 5．2 名字

 5．3 变量

 5．4 绑定概念

 5．5 类型检测

 5．6 强类型化

 5．7 类型兼容

 5．8 作用域

 5．9 作用域与生存期

 5．10 引用环境

 5．11 命名常量

 小结*复习题*练习题*程序设计练习题

第6章 数据类型

 6．1 概述

 6．2 基本数据类型

 6．3 字符串类型

 6．4 用户定义的序数类型

 6．5 数组类型

 6．6 关联数组

 6．7 记录类型

 6．8 联合类型

 6．9 指针类型与引用类型

 小结*文献注释*复习题*练习题*程序设计练习题

第7章 表达式与赋值语句

 7．1 概述

 7．2 算术表达式

 7．3 重载操作符

 7．4 类型转换

 7．5 关系表达式和布尔表达式

 7．6 短路求值

 7．7 赋值语句

 7．8 混合模式赋值

 小结*复习题*练习题*程序设计练习题

第8章 语句层次的控制结构

 8．1 概述

 8．2 选择语句

 8．3 循环语句

 8．4 无条件分支

 8．5 守卫的命令

 8．6 结论

 小结*复习题*练习题*程序设计练习题

第9章 子程序

 9．1 概述

 9．2 子程序的基本原理

 9．3 子程序的设计问题

 9．4 局部引用环境v

 9．5 参数传递方法

 9．6 子程序名作为参数

 9．7 重载子程序

 9．8 通用子程序

 9．9 函数的设计问题

 9．10 用户定义的重载操作符

 9．11 协同程序

 小结*复习题*练习题*程序设计练习题

第10章 实现子程序

 10．1 调用与返回的一般语义

 10．2 实现“简单”子程序

 10．3 实现具有栈动态局部变量的子程序

 10．4 嵌套子程序

 10．5 块

 10．6 实现动态作用域

 小结*复习题*练习题

第11章 抽象数据类型和封装结构

 11．1 抽象概念

 11．2 数据抽象介绍

 11．3 抽象数据类型的设计问题

 11．4 语言示例

 11．5 有参数的抽象数据类型

 11．6 封装结构

 11．7 命名封装

 小结*复习题*练习题*程序设计练习题

第12章 支持面向对象的程序设计

 12．1 概述

 12．2 面向对象程序设计

 12．3 面向对象语言的设计问题

 12．4 Smalltalk对面向对象程序设计的支持

 12．5 c++对面向对象程序设计的支持

 12．6．Java对面向对象程序设计的支持

 12．7 C#对面向对象程序设计的支持

 12．8 Ada 95对面向对象程序设计的支持

 12．9 JavaScript的对象模型

 12．10 面向对象结构的实现

 小结*复习题*练习题*程序设计练习题

第13章 并发

 13．1 概述

 13．2 子程序层次并发的介绍

 13．3 信号量

 13．4 管理

 13．5 消息传递

 13．6 Ada对并发的支持

 13．7 Java线

 13．8 C#线

 13．9 语句层次的并发

 小结*文献注释*复习题*练习题*程序设计练习题

第14章 异常处理

 14．1 异常处理介绍

 14．2 Ada中的异常处理

 14．3 C++中的异常处理

 14．4 Java中的异常处理

 14．5 Java的事件处理

 14．6 Java的事件处理

 小结*文献注释*复习题*练习题

第15章 函数式程序设计语言

 15．1 概述

 15．2 数学函数

 15．3 函数式程序设计语言的基础

 15．4 第一种函数式程序设计语言： LISP

 15．5 Scheme概述

 15．6 COMMONLISP

 15．7 ML

 15．8 Haskell 

 15．9 函数式语言的应用

 15．10 函数式语言和命令式语言的比较

 小结*文献注释*复习题*练习题*程序设计练习题

第16章 逻辑程序设计语言

 16．1 概述

 16．2 谓词演算的简短介绍

 16．3 谓词演算与定理证明

 16．4 逻辑程序设计概述

 16．5 Prolog的起源

 16．6 Prolog的基本元素

 16．7 Prolog的缺陷

 16．8 逻辑程序设计的应用

 小结*文献注释*复习题*练习题*程序设计练习题

参考文献

索引