程序设计语言原理

第0章 绪论
0.1 语言的一般性质
0.2 程序设计语言的一般性质
0.3 为什么要研究程序设计语言
0.4 程序设计语言定义与处理器
0.5 21世纪程序设计语言的发展及未来发展
趋势
0.6 本书的目的与组织
第1章 历史的回顾与程序设计语言分类
1.1 程序设计语言简史
1.1.1 20世纪50年代高级语言出现
1.1.2 20世纪60年代奠基性研究
1.1.3 20世纪70年代完善的软件工程工具
1.1.4 20世纪80年代的面向对象发展
1.1.5 20世纪90年代网络计算语言
1.2 程序设计语言的分类
1.2.1 按对机器依赖程度
1.2.2 按应用领域
1.2.3 按实现计算方式
1.2.4 按使用方式
1.2.5 按程序设计范型
1.2.6 按断代划分
1.3 本章小结
习题
第2章 程序设计语言的设计概述
2.1 表示与抽象
2.1.1 上层抽象可用多种下层抽象实现程序设计的四个世界
2.1.2 显式表示和隐式表示
2.1.3 聚合表示和分散表示
2.2 程序设计语言的设计目标
2.3 设计准则
2.4 程序设计语言的规格说明
2.4.1 语法的规格说明
2.4.2 语义规格说明
2.4.3 上下文规格说明
2.5 J、结
习题
第3章 值与类型
3.1 值
3.1.1 值与类型
3.1.2 字面量、变量与常量
3.1.3 程序中的求值方式
3.1.4 值应是头等程序对象
3.2 类型
3.2.1 基本类型
3.2.2 复合类型
3.2.3 递归类型
3.2.4 类型系统初步
3.3 表达式
3.3.1 表达式表示法
3.3.2 表达式种类
3.3.3 优先级和结合性
3.3.4 类型兼容性
3.4 小结
习题
第4章 存储
4.1 程序变量的时、空特性
4.1.1 引用和指针
4.1.2 递引用
4.1.3 变量的时态
4.1.4 可存储值
4.2 组织存储对象的存储模型
4.2.1 存储对象的生命期
4.2.2 静态存储对象
4.2.3 动态存储对象
4.2.4 动态堆栈存储
4.2.5 动态堆存储
4.3 悬挂引用
4.4 ，变量更新
4.4.1 变量初始化
4.4.2 动态更新
4.5 有副作用的表达式
4.5.1 块表达式
4.5.2 命令表达式
4.6 小结
习题
第5章 束定
5.1 名字与束定
5.2 各种束定机制
5.2.1 静态束定
5.2.2 动态束定
5.2.3 块结构柬定
5.2.4 无类型语言的束定
5.3 声明
5.3.1 声明的种类
5.3.2 声明的作用域
5.3.3 块声明
5.4 束定的作用域与释义
5.4 1束定与环境
5.4.2 词法作用域与动态作用域
5.4.3 词法作用域和动态作用域的求值
差异
5.4.4 作用域与生命期匹配的问题
5.5 束定机制与语言翻译器
5.6 小结
习题
第6章 函数和过程
6.1 函数和过程抽象
6.1.1 函数定义与引用
6.1.2 过程定义与调用
6.1.3 无参过程
6.2 参数机制
6.2.1 传值调用
6.2.2 传名调用
6.2.3 引用调用
6.2.4 参数模式与返回调用
6.2.5 值——返回调用
6.2.6 指针参数
6.3 变元求值策略
6.4 高阶函数
6.4.1 函数作为变元
6.4.2 函数作为返回值
6.5 小结
习题
第7章 程序控制
7.1 一般概述
7.2 顺序控制
7.3 条件选择控制
7.3.1 结构式条件控制
’7.3.2 case和switch
7.3.3 以条件表达式实现选择控制
7.4 迭代控制
7.4.1 显式迭代控制
7.4.2 隐式迭代控制
7.5 异常处理
7.5.1 异常定义与异常处理段
7.5.2 异常引发与异常传播
7.6 小结
习题
第8章 程序的抽象与封装
8.1 模块和包
8.1.1 模块的一般形式
8.1.2 模块程序的结构
8.2 抽象数据类型
8.2.1 数据抽象与抽象数据类型
8.2.2 利用抽象数据类型构造新类型
……
第9章 类型系统
第10章 面向对象程序设计程言
第11章 函数式程序设计语言
第12章 逻辑式程序设计语言
第13章 程序的并发性和进程交互原理
第14章 进程交互机制和并发程设计
第15章 描述性程序设计语言
第16章 指称语义的原理与应用
第17章 代数语义学
参考文献