计算机程序的构造与解释

Contents:

• 第一章 构造过程抽象
  • 1.1 程序设计的基本元素
  • 1.2 过程与它们所产生的计算
  • 1.3 用高阶函数做抽象
• 第二章 构造数据抽象
  • 2.1 数据抽象导引
  • 2.2 层次性数据和闭包性质
  • 2.3 符号数据
  • 2.4 抽象数据的多重表示
  • 2.5 带有通用型操作的系统
• 第三章 模块化、对象和状态
  • 3.1 赋值和局部状态
  • 3.2 求值的环境模型
  • 3.3 用变动数据做模拟
  • 3.4 并发：时间是一个本质问题
  • 3.5 流
• 第四章 元语言抽象
  • 4.1 元循环求值器
  • 4.2 Scheme 的变形 —— 惰性求值
  • 4.3 Scheme 的变形 —— 非确定性求值
  • 4.4 逻辑程序设计
• 第五章 寄存器机器里的计算
  • 5.1 寄存器机器的设计
  • 5.2 一个寄存器机器模拟器
  • 5.3 存储分配和废料收集
  • 5.4 显式控制的求值器
  • 5.5 编译

Indices and tables

• Index

• Module Index

• Search Page

comments powered by Disqus