计算机程序的构造和解释(JAVASCRIPT版)

目　录
Structure and Interpretation of Computer Programs: JavaScript Edition
译者序
序言
1984年版《计算机程序的构造和解释》的原序
前言
1996年SICP第2版的前言
1984年SICP第1版的前言
致谢
1996年SICP第2版的致谢
第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　条件表达式和谓词11
1.1.7　实例：用牛顿法求平方根14
1.1.8　函数作为黑箱抽象17
1.2　函数与它们产生的计算20
1.2.1　线性递归和迭代21
1.2.2　树形递归24
1.2.3　增长的阶28
1.2.4　求幂29
1.2.5　*大公约数31
1.2.6　实例：素数检测33
1.3　用高阶函数做抽象37
1.3.1　函数作为参数37
1.3.2　用lambda表达式构造函数41
1.3.3　函数作为通用的方法45
1.3.4　函数作为返回值48
第2章　构造数据抽象54
2.1　初识数据抽象56
2.1.1　实例：有理数的算术运算56
2.1.2　抽象屏障59
2.1.3　数据是什么意思？61
2.1.4　扩展练习：区间算术63
2.2　层次性数据和闭包性质65
2.2.1　序列的表示66
2.2.2　层次结构72
2.2.3　序列作为约定的接口76
2.2.4　实例：一个图形语言86
2.3　符号数据96
2.3.1　字符串96
2.3.2　实例：符号求导97
2.3.3　实例：集合的表示102
2.3.4　实例：Huffman编码树108
2.4　抽象数据的多重表示114
2.4.1　复数的表示115
2.4.2　带标签数据118
2.4.3　数据导向的程序设计和可
　　　加性121
2.5　包含通用型操作的系统127
2.5.1　通用型算术运算128
2.5.2　不同类型数据的组合131
2.5.3　实例：符号代数136
第3章　模块化、对象和状态146
3.1　赋值和局部状态146
3.1.1　局部状态变量147
3.1.2　引进赋值带来的利益152
3.1.3　引进赋值的代价155
3.2　求值的环境模型159
3.2.1　求值规则160
3.2.2　简单函数的应用163
3.2.3　框架作为局部状态的仓库165
3.2.4　内部定义169
3.3　用变动数据建模172
3.3.1　可变的表结构172
3.3.2　队列的表示179
3.3.3　表格的表示182
3.3.4　数字电路模拟器187
3.3.5　约束传播196
3.4　并发：时间是一个本质问题205
3.4.1　并发系统中时间的性质206
3.4.2　控制并发的机制209
3.5　流218
3.5.1　流作为延迟的表219
3.5.2　无穷流225
3.5.3　流计算模式的应用230
3.5.4　流和延迟求值238
3.5.5　函数式程序的模块化和对象
　　　的模块化242
第4章　元语言抽象246
4.1　元循环求值器248
4.1.1　求值器的核心部分249
4.1.2　组件的表示254
4.1.3　求值器的数据结构263
4.1.4　把求值器作为程序运行267
4.1.5　以数据为程序270
4.1.6　内部声明272
4.1.7　分离语法分析与执行275
4.2　惰性求值280
4.2.1　正则序和应用序280
4.2.2　采用惰性求值的解释器281
4.2.3　流作为惰性的表288
4.3　非确定性计算289
4.3.1　搜索和amb291
4.3.2　非确定性程序实例294
4.3.3　实现amb求值器300
4.4　逻辑程序设计309
4.4.1　演绎式信息检索311
4.4.2　查询系统如何工作320
4.4.3　逻辑程序设计
　　　是数理逻辑吗？326
4.4.4　实现查询系统330
第5章　寄存器机器里的计算350
5.1　寄存器机器的设计351
5.1.1　一种描述寄存器机器的语言352
5.1.2　机器设计的抽象355
5.1.3　子程序357
5.1.4　使用栈实现递归360
5.1.5　指令总结364
5.2　寄存器机器的模拟器365
5.2.1　机器模型366
5.2.2　汇编器369
5.2.3　指令和它们的执行函数372
5.2.4　监视机器执行378
5.3　存储分配和废料收集380
5.3.1　把存储器看作向量380
5.3.2　维持一种无穷存储的假象384
5.4　显式控制的求值器389
5.4.1　分派器和基本求值390
5.4.2　函数应用的求值393
5.4.3　块结构、赋值和声明400
5.4.4　求值器的运行401
5.5　编译405
5.5.1　编译器的结构407
5.5.2　组件的编译411
5.5.3　编译函数应用和返回语句417
5.5.4　指令序列的组合423
5.5.5　编译代码的实例426
5.5.6　词法地址433
5.5.7　将编译代码与求值器接口435
参考文献441
索引447
练习列表490