麦中凡：一个很有学者精神的大学老师.

《程序设计语言原理》是用于编制软件的，机器可识别、可执行的符号系统。程序设计语言的研究和开发始终处于计算机科学技术发展的中心。《程序设计语言原理》根据计算机科学与技术专业规范的要求，全面、系统地介绍各种高级程序设计语言的基本原理和特点。对于计算机专业学生从更高的层次来理解各种语言机制，指导对计算机语言的学习和程序设计具有重要意义。全书主要介绍了程序设计语言发展中的问题与趋向，以及程序设计语言各主要成分设计中的关键问题、主要步骤、表示法的基本技能，使读者学会分析、选择、调合、折中、设计语言的新特征。每章配有习题，供读者复习本节的知识点，以便及时验证本章学习的效果。《程序设计语言原理》讲解详细，通俗易懂，详略得当。《程序设计语言原理》既可以作为计算机专业学生的教材，也可以作为从事计算机专业高级技术人员的参考书。

《程序设计语言原理》
第0章 绪 论
0.1 语言的一般性质
0.2 程序设计语言的一般性质
0.3 为什么要研究程序设计语言
0.4 程序设计语言定义与处理器
0.5 21世纪程序设计语言的发展及未来发展趋势
0.6 本书的目的与组织
第1章 历史的回顾与程序设计语言分类
1.1 程序设计语言简史
1.2 程序设计语言的分类
1.3 本章小结
习 题
第2章 程序设计语言的设计概述
2.1 表示与抽象
2.2 程序设计语言的设计目标
2.3 设计准则
2.4 程序设计语言的规格说明
2.5 小 结
习 题
.第3章 值与类型
3.1 值
3.2 类 型
3.3 表达式
3.4 小 结
习 题
第4章 存 储
4.1 程序变量的时、空特性
4.2 组织存储对象的存储模型
4.3 悬挂引用
4.4 变量更新
4.5 有副作用的表达式
4.6 小 结
习 题
第5章 束 定
5.1 名字与束定
5.2 各种束定机制
5.3 声 明
5.4 束定的作用域与释义
5.5 束定机制与语言翻译器
5.6 小 结
习 题
第6章 函数和过程
6.1 函数和过程抽象
6.2 参数机制
6.3 变元求值策略
6.4 高阶函数
6.5 小 结
习 题
第7章 程序控制
7.1 一般概述
7.2 顺序控制
7.3 条件选择控制
7.4 迭代控制
7.5 异常处理
7.6 小 结
习 题
第8章 程序的抽象与封装
8.1 模块和包
8.2 抽象数据类型
8.3 类 属
8.4 对象和类
8.5 小 结
习 题
第9章 类型系统
9.1 类型表示和实现
9.2 复合对象上的操作
9.3 类型的语义
9.4 类型检查
9.5 类属域
9.6 类型推理
9.7 小 结
习 题
第10章 面向对象程序设计语言
10.1 smalltalk语言
10.2 smalltalk的对象、类、方法的实现
10.3 面向对象的基本特征
10.4 ada95的面向对象机制
10.5 elffel
10.6 java语言的面向对象机制
10.7 小 结
第11章 函数式程序设计语言
11.1 过程式语言存在的问题
11.2 λ演算
11.3 函数式语言怎样克服命令式语言的缺点
11.4 函数式语言miranda
11.5 问题与讨论
11.6 小 结
习 题
第12章 逻辑式程序设计语言
12.1 谓词演算
12.2 自动定理证明
12.3 逻辑程序的风格
12.4 典型逻辑程序设计语言prolog
12.5 prolog评价
12.6 小 结
习 题
第13章 程序的并发性和进程交互原语
13.1 基本概念
13.2 并发程序带来的问题
13.3 并发程序的性质
13.4 低级并发机制和并发原语
13.5 小 结
习 题
第14章 进程交互机制和并发程序设计语言
14.1 基于变量共享的高层并发机制
14.2 基于信息传递的高层并发机制
14.3 远程过程调用和会合
14.4 多原语的并发机制
14.5 并发程序设计语言
14.6 小 结
习 题
第15章 描述性程序设计语言
15.1 概 述
15.2 置标语言
15.3 脚本语言
15.4 小 结
习 题
第16章 指称语义的原理与应用
16.1 指称语义原理
16.2 指称语义示例
16.3 程序抽象的语义描述
16.4 复合类型
16.5 程序失败的语义描述
16.6 指称语义应用
16.7 小 结
习 题
第17章 代数语义学
17.1 代数基础
17.2 代数规格说明
17.3 数据类型的代数规格说明
17.4 λ演算的代数规格说明
17.5 小 结
附 录
参考文献