介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案来说明源语言的各种构造怎样被翻译成中间形式

1、介绍语义描述的一种形式方法：语法制导的翻译，它包括两种具体形式： –语法制导的定义 –翻译方案 2、介绍语法制导翻译的实现方法

 存储组织与分配  程序单元、运行时内存划分与活动记录  静态/动态存储分配  动态栈式的过程调用/返回  非局部名字的访问  参数传递  参数传递的方式及其实现

• 一个简单的代码生成算法 – 涉及存储管理、指令选择、寄存器分配和计算次序选择等基本问题 • 通过一个完整的例子来介绍代码优化

–简要介绍语法制导的翻译 – 介绍静态检查中最典型的部分 —— 类型检查 忽略其他的静态检查：控制流检查、唯一性检查、关联名字检查等

语法分析的任务与分类 自上而下分析面临的问题 递归下降分析程序构造 预测分析程序 LL(1)文法

11.1 优化概述 一.代码优化概念、目的与原则 二.代码优化器的地位和结构 三.代码优化分类 四.代码优化涉及的各个环节 五.四元式的改写 六.引例：优化主要方法简介 11.2 局部优化 一.基本块 二.基本块内的优化方法 三.流图 四.基本块的DAG表示及其应用 五.应用DAG时的相关问题

属性文法 语法制导翻译 逆波兰表示法 三元式和树 四元式 简单算术表达式和赋值句到四元式的翻译 布尔表达式到四元式的翻译 控制语句的翻译 数组元素的引用 说明语句的翻译 自上而下分析制导翻译概说

引言 -语言和文法的直观概念 -符号和符号串的相关概念 文法与语言 -文法和语言的形式定义 -文法的分类 -上下文无关文法 语法树与二义性 句型的分析 文法的改造

6.1 Attributes and Attribute Grammars 6.1.1 Attribute Grammars 6.1.2 Simplifications and Extensions to Attribute Grammars 6.2 Algorithms for Attribute Computation 6.2.1 Dependency graphs and evaluation order 6.2.2 Synthesized and Inherited Attributes 6.2.3 Attributes as Parameters and Returned Values 6.2.4 The Use of External Data Structures to Store Attributes Values 6.2.5 The Computation of Attributes during Parsing 6.2.6 The Dependence of Attributes Computation on the Syntax