– 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 – 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查

7.1 中间语言 7.2 说明语句 7.3 赋值语句的翻译 7.4 布尔表达式的翻译 7.5 控制语句的翻译 7.6 过程调用的处理

概述 三条优化原则 局部优化 基本块的划分 基本块的变换 基本块优化的实现（DAG的使用） 流图 (控制流程图) 循环 循环查找 前置结点 可归纳流图 循环优化常用方法

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

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

大纲要求： 汇编、编译、解释系统的基础知识和基本工作原理。 程序设计语言的基本成分一数据、运算、控制和传输以及过程（函数）调用。 各类程序设计语言的主要特点和适用情况

介绍几种常用的中间表示：后缀表示、图形表示和三地址代码； 用语法制导定义和翻译方案来说明源语言的各种构造怎样被翻译成中间形式； 7.1 中间语言 7.2 声明语句 7.3 赋值语句 7.4 布尔表达式和控制流语句

一、OLE嵌入 1.1 OLE嵌入和MapInfo 1.2 嵌入MapInfo地图 1.3 MapInfo地图特性 二、MapBasic开发环境 2.1 MapBasic概述 2.2 如何创建、编译和运行一个程序 2.3 程序的调试与运行 三、 MapBasic基础 3.1 变量 3.2 流程控制语句 3.3 过程 3.4 自定义函数 3.5 输出与显示 3.6 程序组织

构成:下推栈,预测分析表,控制程序,输入串 1. 预测分析表 形式:M[A,a]矩阵, AVN,a VT{$} 内容:A→α或出错标志(空白)

实验一 C程序的运行环境和运行一个C程序的方法 实验二 数据类型、运算符和表达式 实验三 最简单的C程序设计 实验四 选择结构程序设计 实验五 循环控制 实验六 数组 实验七 函数 实验八 编译预处理 实验九 指针 实验十 结构体和共用体 实验十一 位运算 实验十二 文件