计算机程序的构造和解释（原书第2版） - Info and Reading Options

"计算机程序的构造和解释（原书第2版）" Table Of Contents:

• 1- 出版者的话
• 2- 序
• 3- 第2版前言
• 4- 第1版前言
• 5- 致谢
• 6- 第1章 构造过程抽象1
• 7- 1.1 程序设计的基本元素3
• 8- 1.1.1 表达式3
• 9- 1.1.2 命名和环境5
• 10- 1.1.3 组合式的求值6
• 11- 1.1.4 复合过程7
• 12- 1.1.5 过程应用的代换模型9
• 13- 1.1.6 条件表达式和谓词11
• 14- 1.1.7 实例：采用牛顿法求平方根14
• 15- 1.1.8 过程作为黑箱抽象17
• 16- 1.2 过程及其产生的计算20
• 17- 1.2.1 线性的递归和迭代21
• 18- 1.2.2 树形递归24
• 19- 1.2.3 增长的阶28
• 20- 1.2.4 求幂29
• 21- 1.2.5 最大公约数32
• 22- 1.2.6 实例：素数检测33
• 23- 1.3 用高阶函数做抽象37
• 24- 1.3.1 过程作为参数37
• 25- 1.3.2 用lambda构造过程41
• 26- 1.3.3 过程作为一般性的方法44
• 27- 1.3.4 过程作为返回值48
• 28- 第2章 构造数据抽象53
• 29- 2.1 数据抽象导引55
• 30- 2.1.1 实例：有理数的算术运算55
• 31- 2.1.2 抽象屏障58
• 32- 2.1.3 数据意味着什么60
• 33- 2.1.4 扩展练习：区间算术62
• 34- 2.2 层次性数据和闭包性质65
• 35- 2.2.1 序列的表示66
• 36- 2.2.2 层次性结构72
• 37- 2.2.3 序列作为一种约定的界面76
• 38- 2.2.4 实例：一个图形语言86
• 39- 2.3 符号数据96
• 40- 2.3.1 引号96
• 41- 2.3.2 实例：符号求导99
• 42- 2.3.3 实例：集合的表示103
• 43- 2.3.4 实例：Huffman编码树109
• 44- 2.4 抽象数据的多重表示115
• 45- 2.4.1 复数的表示116
• 46- 2.4.2 带标志数据119
• 47- 2.4.3 数据导向的程序设计和可加性122
• 48- 2.5 带有通用型操作的系统128
• 49- 2.5.1 通用型算术运算129
• 50- 2.5.2 不同类型数据的组合132
• 51- 2.5.3 实例：符号代数138
• 52- 第3章 模块化、对象和状态149
• 53- 3.1 赋值和局部状态149
• 54- 3.1.1 局部状态变量150
• 55- 3.1.2 引进赋值带来的利益154
• 56- 3.1.3 引进赋值的代价157
• 57- 3.2 求值的环境模型162
• 58- 3.2.1 求值规则163
• 59- 3.2.2 简单过程的应用165
• 60- 3.2.3 将框架看作局部状态的展台167
• 61- 3.2.4 内部定义171
• 62- 3.3 用变动数据做模拟173
• 63- 3.3.1 变动的表结构173
• 64- 3.3.2 队列的表示180
• 65- 3.3.3 表格的表示183
• 66- 3.3.4 数字电路的模拟器188
• 67- 3.3.5 约束的传播198
• 68- 3.4 并发：时间是一个本质问题206
• 69- 3.4.1 并发系统中时间的性质207
• 70- 3.4.2 控制并发的机制210
• 71- 3.5 流220
• 72- 3.5.1 流作为延时的表220
• 73- 3.5.2 无穷流226
• 74- 3.5.3 流计算模式的使用232
• 75- 3.5.4 流和延时求值241
• 76- 3.5.5 函数式程序的模块化和对象的
• 77- 模块化245
• 78- 第4章 元语言抽象249
• 79- 4.1 元循环求值器251
• 80- 4.1.1 求值器的内核252
• 81- 4.1.2 表达式的表示255
• 82- 4.1.3 求值器数据结构260
• 83- 4.1.4 作为程序运行求值器264
• 84- 4.1.5 将数据作为程序266
• 85- 4.1.6 内部定义269
• 86- 4.1.7 将语法分析与执行分离273
• 87- 4.2 Scheme的变形—惰性求值276
• 88- 4.2.1 正则序和应用序277
• 89- 4.2.2 一个采用惰性求值的解释器278
• 90- 4.2.3 将流作为惰性的表284
• 91- 4.3 Scheme的变形—非确定性计算286
• 92- 4.3.1 amb和搜索287
• 93- 4.3.2 非确定性程序的实例290
• 94- 4.3.3 实现amb求值器296
• 95- 4.4 逻辑程序设计304
• 96- 4.4.1 演绎信息检索306
• 97- 4.4.2 查询系统如何工作315
• 98- 4.4.3 逻辑程序设计是数理逻辑吗321
• 99- 4.4.4 查询系统的实现324
• 100- 第5章 寄存器机器里的计算343
• 101- 5.1 寄存器机器的设计344
• 102- 5.1.1 一种描述寄存器机器的语言346
• 103- 5.1.2 机器设计的抽象348
• 104- 5.1.3 子程序351
• 105- 5.1.4 采用堆栈实现递归354
• 106- 5.1.5 指令总结358
• 107- 5.2 一个寄存器机器模拟器359
• 108- 5.2.1 机器模型360
• 109- 5.2.2 汇编程序364
• 110- 5.2.3 为指令生成执行过程366
• 111- 5.2.4 监视机器执行372
• 112- 5.3 存储分配和废料收集374
• 113- 5.3.1 将存储看作向量374
• 114- 5.3.2 维持一种无穷存储的假象378
• 115- 5.4 显式控制的求值器383
• 116- 5.4.1 显式控制求值器的内核384
• 117- 5.4.2 序列的求值和尾递归388
• 118- 5.4.3 条件、赋值和定义391
• 119- 5.4.4 求值器的运行393
• 120- 5.5 编译397
• 121- 5.5.1 编译器的结构399
• 122- 5.5.2 表达式的编译402
• 123- 5.5.3 组合式的编译407
• 124- 5.5.4 指令序列的组合412
• 125- 5.5.5 编译代码的实例415
• 126- 5.5.6 词法地址422
• 127- 5.5.7 编译代码与求值器的互连425
• 128- 参考文献431
• 129- 练习表437
• 130- 索引439

"计算机程序的构造和解释（原书第2版）" Description:

Read “计算机程序的构造和解释（原书第2版）”:

Read “计算机程序的构造和解释（原书第2版）” by choosing from the options below.