• ARM指令集 – ARM指令集分类与指令格式 – ARM指令的寻址方式 – ARM指令集详解 – Thumb指令及应用 • ARM汇编程序设计基础 – 系统初始化 – 调试环境

• 类型推断的一般框架 –基于从类型化语言到无类型语言的“擦除”函数 • 加了类型变量后的→类型推断 –包括主定型和合一问题 • 带多态声明的 let的类型推断算法

– 多态类型系统的语法，包括直谓式的，非直谓式的和type: type版本 – 直谓式多态λ演算，包括和其它两个系统之间的联系，它的等式证明系统和归约、多态声明 – 非直谓式多态λ演算的纵览 – 数据抽象和存在类型 – 类型表达式的分类

• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统（操作语义） • 讨论类型化演算的通用模型（指称语义）及可靠性和完备性定理 • 介绍PCF语言（递归函数留待下一章）及其公理语义和操作语义

– 命题逻辑和谓词逻辑的简短回顾 – 线性时态逻辑及其在模型检测中的应用 – 计算树逻辑及其在模型检测中的应用

• 程序逻辑：描述和论证程序行为的逻辑 – Hoare逻辑 – Dijkstra最弱前条件演算 • 从程序到定理 – 验证条件生成 • 从定理到证明 – 定理证明器 – 判定过程 • 循环不变式的推断 • 以George C. Necula教授的讲稿为主来介绍

• C语言编译系统 –预处理器、编译器、汇编器、连接器 – 目标文件的格式、静态库、动态连接 • Java运行系统 • 无用单元收集（垃圾收集）

• 概述面向对象语言的重要概念和实现技术 • 以C++语言为例，介绍如何将C++程序翻译成C程序 • 实际的编译器大都把C++程序直接翻译成低级语言程序

• 介绍一种简单的函数式编程语言SFP • 介绍一种抽象机FAM，它的机器语言是SFP语言的目标语言 • 介绍SFP各种语言构造到FAM的编译

– 使用指令级并行的基础问题 – 提取并行的数据相关性分析 – 代码调度的基本概念 – 基本块调度的技术、发现通用程序中的高度数据相关控制流的方法、调度数值程序的软件流水线技术 – 在多处理器系统上，使用数组的计算密集型程序的并行化和数据局部性优化的概念和方法