《计算机程序结构及其描述》求取 ⇩

目录1

第一章 建立过程抽象1

§1.1 程序设计要素2

1.1.1 表达式3

1.1.2 命名和环境4

1.1.3 对组合的求值5

1.1.4 复合过程6

1.1.5 过程求值的替换模型8

1.1.6 条件表达式和谓词9

1.1.7 举例：用牛顿法求平方根12

1.1.8 把过程作为“黑盒”抽象14

§1.2 过程及其生成进程17

1.2.1 线性递归和迭代17

1.2.2 树递归20

1.2.3 增长级22

1.2.4 指数23

1.2.5 最大公约数25

1.2.6 例：素数测试26

§1.3 建立高层过程抽象30

1.3.1 把过程用作参数30

1.3.2 使用Lambda构造过程33

1.3.3 把过程用作一般方法36

1.3.4 把过程作为返回值40

第二章 建立数据抽象43

§2.1 数据抽象介绍44

2.1.1 例：有理数算术运算45

2.1.2 抽象关卡47

2.1.3 数据的含义49

2.1.4 例：区间算术运算50

§2.2 层次数据53

2.2.1 表示序列54

2.2.2 表示树58

2.2.3 符号和引号61

2.2.4 例：符号微商63

2.2.5 例：表示集合66

2.2.6 例： Huffman编码树72

§2.3 抽象数据的多重表示方法77

2.3.1 复数的表示79

2.3.2 显类型81

2.3.3 数据引导的程序设计83

§2.4 带有类属操作符的系统87

2.4.1 类属算术操作符87

2.4.2 组合不同类型的运算对象90

2.4.3 例：符号代数94

第三章 模块性、对象和状态103

§3.1 赋值与局部状态103

3.1.1 局部状态变量104

3.1.2 引入赋值的代价108

3.1.3 引入赋值的益处111

§3.2 求值的环境模型113

3.2.1 求值规则114

3.2.2 简单过程的求值116

3.2.3 帧作为局部状态的保存场所118

3.2.4 内部定义121

§3.3 模拟可变数据123

3.3.1 可变表列结构124

3.3.2 队列的表示129

3.3.3 表的表示132

3.3.4 一个数字电路模拟器136

3.3.5 约束的传播144

§3.4 流152

3.4.1 流作为标准接口152

3.4.2 流的高层过程155

3.4.3 流的实现163

3.4.4 无限长的流168

3.4.5 流与延迟求值174

3.4.6 使用流模拟局部状态181

第四章 元语言的抽象185

§4.1 元循环求值器186

4.1.1 求值器的核心187

4.1.2 表示表达式189

4.1.3 对环境的操作192

4.1.4 把求值器当作LISP程序运行195

4.1.5 把表达式当作程序处理197

§4.2 Scheme的变异199

4.2.1 良序求值199

4.2.2 另一种约束原则201

§4.3 程序包205

4.3.1 用环境建立程序包205

4.3.2 类属算术运算系统中的程序包207

§4.4 逻辑程序设计212

4.4.1 演绎推理信息检索213

4.4.2 查询系统怎样工作220

4.4.3 逻辑程序设计是数理逻辑吗224

§4.5 实现查询系统227

4.5.1 驱动器循环和例示227

4.5.2 求值器228

4.5.3 用模式匹配查找断言231

4.5.4 规则和通代232

4.5.5 维护数据库235

4.5.6 实用过程237

第五章 用寄存器机器进行计算242

§5.1 设计寄存器机器242

5.1.1 一种描述寄存器机器的语言245

5.1.2 机器设计之抽象248

5.1.3 子程序250

5.1.4 用栈实现递归253

5.1.5 寄存器机器模拟器258

§5.2 显式控制求值器267

5.2.1 显式控制求值器的核心268

5.2.2 序列的求值和尾递归（最右递归）272

5.2.3 条件式和其他特殊形式274

5.2.4 运行求值器276

5.2.5 内部定义279

§5.3 编译281

5.3.1 编译程序的结构283

5.3.2 编译表达式285

5.3.3 编译程序的数据结构294

5.3.4 原始代码产生器296

5.3.5 编译了的代码的一个例子301

5.3.6 连接编译码与求值器305

5.3.7 词法寻址308

§5.4 存储分配及无用存贮单元的收集311

5.4.1 作为向量的存贮器312

5.4.2 维持无限存贮器的幻想314