– 通过实例来介绍代码改进的主要机会 – 数据流分析包括的几类重要的全局收集的信息 – 数据流分析的一般框架 – 和一般框架有区别的常量传播 – 部分冗余删除的优化技术 – 循环的识别和分析

2.解： eddfbbd S AbB 1,1.1(表示第 1 步，用产生式 1.1 推导,以下同) CAbbB 2,2.1 edAbbB 3,4.1 edCAbbbB 4,2.1 ededAbbbB 5,4.1(不匹 配) edaAbbbB 5，4.2 (不匹配，回溯到 edAbbB) edBfbbB 4,2.2 edCSdfbbB 5,3.1 ededSdfbbB 6,4.1(不匹配) edaSdfbbB 6,4.2(不匹配，回溯到

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

何谓中间代码( Intermediate code) Intermediate representation Intermediate language 源程序的一种内部表示,不依赖目标机的结构,易于机械生成 目标代码的中间表示

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

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

1、明确时间序列的概念、作用、种类和编制原则；2、掌握时间序列分析的各种水平分析指标，特别是平均发展水平的含义、计算方法和应用条件、3、掌握时间序列分析的各种速度分析指标，特别是平均发展速度的含义、计算方法和应用条件；4、掌握时间序列变动的长期趋势、季节变动、循环变动的分析意义与测定方法

第七章语法制导翻译和中间代码生成 7.1语义处理概述 7.2属性文法和语法制导翻译 7.3中间代码生成(一些语句的翻译) 7.4符号表

第四章文法和语言 为语言的语法描述寻求工具工具要对程序设计语言给出精确无二义的语法描述。(严谨、简洁、易读) 形式工具--“形式”是指这样的事实:语言的所有规则只以什麽符号串能出现的方式来陈述

编译程序的作用是:将源程序转换为具有相同效果的 可运行程序。 所谓相同效果就是程序的语义。 并不是所有满足语法规则的程序都是有意义的(well- form)的。 所谓语义分析,就是确定程序是有意义的,分析程序 的含义,并做出相应的处理