序言
第二版的前言
第一版的前言
致谢
引用
练习题的列表
索引
1. 用程序构建抽象
1.1编程的元素
1.1.1 表达式
1.1.2 命名与环境
1.1.3 评估组合子
1.1.4 组合性的程序
1.1.5 对于程序性的应用的替代模型
1.1.6 条件表达式和条件语句
1.1.7 例子：牛顿法求平方根
1.1.8 作为黑盒抽象的程序
1.2程序和它们生成的流程
1.2.1 线性递归与迭代
1.2.2 树形递归
1.2.3 成长的序
1.2.4 指数
1.2.5 最大公约数
1.2.6 例子：素数的测试
1.3用高级程序公式化抽象
1.3.1 程序作为形式参数
1.3.2 使用LAMDBA 组合程序
1.3.3 程序作为通用的方法
1.3.4 程序作为返回值
2. 用数据构建抽象
2.1数据抽象的介绍
2.1.1 例子：有理数的算术操作
2.1.2 抽象障碍
2.1.3 数据意味着什么
2.1.4 扩展训练： 区间算术
2.2层次化数据与闭包属性
2.2.1 表示序列
2.2.2 层次结构
2.2.3 序列作为传统的接口
2.2.4 例子：一个图片的语言
2.3符号化的数据
2.3.1 引用
2.3.2 例子：符号化的差分
2.3.3 例子：表示集合
2.3.4 例子：哈夫曼编码树
2.4抽象数据的多种表示
2.4.1 复杂数据的表示
2.4.2 标签化的数据
2.4.3 数据导化的编程与添加
2.5有通用化操作的系统
2.5.1 通用化算术操作
2.5.2 组合不同类型的数据
2.5.3 例子：符号化的代数
3. 模块化，对象和状态
3.1赋值语句与当前的状态
3.1.1 当前状态的变量
3.1.2 介绍赋值语句的好处
3.1.3 介绍赋值语句的代价
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.3.5 约束的传播
3.4并发：时间是本质
3.4.1 在并发系统中的时间的本性
3.4.2 控制并发的机制
3.5流
3.5.1 流是延迟的列表
3.5.2 有限流
3.5.3 探索流图
3.5.4 流与延迟评估
3.5.5 功能性的程序的模块性与对象的模块性
4. 元语言抽象
4.1元语言的解释器
4.1.1 解释器的核心
4.1.2 表示表达式
4.1.3 解释器的数据结构
4.1.4 运行解释器作为一个程序
4.1.5 数据作为程序
4.1.6 内部定义
4.1.7 从执行中分离出语法分析
4.2在SCHEME的演变－－推迟解释
4.2.1 正常次序与应用次序
4.2.2 具有推迟解释的解释器
4.2.3 流作为推迟列表
4.3在SCHEME的演变－－未确定的计算
4.3.1 AMB与搜索
4.3.2 非确定化的程序的例子
4.3.3 实现一个AMB的解释器
4.4逻辑编程
4.4.1 演绎信息的检索
4.4.2 查询系统如何工作
4.4.3 逻辑编程是数学的逻辑吗
4.4.4 实现查询系统
5. 用寄存器机器的计算
5.1 设计寄存器机器
5.1.1 描述寄存器机器的语言
5.1.2 在机器设计中的抽象
5.1.3 子程序
5.1.4 使用一个栈来实现递归
5.1.5 指令总结
5.2一个寄存器机器的模拟器
5.2.1 机器的模型
5.2.2 汇编器
5.2.3 为了指令生成可执行程序
5.2.4 监控机器的性能
5.3存储分配与垃圾回收
5.3.1 内存作为向量
5.3.2 维护无限内存的幻像
5.4显式控制的解释器
5.4.1 显式控制的解释器的核心
5.4.2 序列化解释与尾递归
5.4.3 条件，赋值，定义
5.4.4 运行解释器
5.5 编译
5.5.1 编译器的结构
5.5.2 编译表达式
5.5.3 编译组合子
5.5.4 编译指令序列
5.5.5 编译后的代码的例子
5.5.6 词法的寻址
5.5.7 把编译后的代码接入解释器
共 5章22节 94小节