Part7语义与中间代码生成探析.ppt

语义分析与中间代码生成;语义分析的位置和作用;静态语义检查;摘要：语义分析;语义分析;所处位置;中间语言;源语言的中间表示方法;后缀式;后缀式;图表示法;抽象语法树;抽象语法树的表示形式;三地址代码;三地址代码;三地址码;三地址语句的类型;三地址语句的类型;三地址语句的类型;生成三地址码的S-属性文法;生成三地址码的S-属性文法;如何加入控制语句;三地址语句的实现;四元式 ;三元式;四元式举例;三元式举例;间接三元式;间接三元式举例;表示方法比较：间址的使用;三地址代码;例子;怎么翻译;表达式的翻译;布尔表达式的翻译;OR作为判断条件的翻译;AND作为判断条件的翻译;数组和数据域的访问;嵌套的表达式;语句的翻译;赋值语句;If-Then-Else的翻译;If-Then的翻译;While 语句;Switch 语句;调用和返回语句;嵌套语句;效率问题;增加效率的技术;不复制变量;不复制变量;例子;; 重复使用临时变量;临时变量的再使用;例子;在控制流中对Boolean进行编码;在控制流中对Boolean进行编码;;While 语句;语句表达式;语句区块;赋值语句;说明语句;声明语句引起的翻译动作;单个过程中的声明语句;允许嵌套过程中的声明语句;记录中的域名;赋值语句;赋值语句;符号表中的名字;寻址数组元素;;数组元素寻址的翻译模式;数组元素寻址的翻译模式;赋值语句中的类型转换;赋值语句中的类型转换;布尔表达式的翻译;布尔表达式的作用;布尔表达式值的计算;用上述两种方法把布尔表达式翻译成地址代码;作为条件控制的布尔式翻译;产生布尔表达式三地址代码的语义规则;产生式;类型检查;类型检查概述;类型检查概述;类型系统;类型表达式;类型表达式;类型系统;一个简单的类型检查器的说明;类型检查器的规格说明;关于表达式的类型检查;语句的类型检查;函数的类型检查;错误恢复;函数和运算符的重载;多态函数;类型推断的例子;类型推断的例子(2);一个带有多态函数的语言;多态函数检查规则;“实例”举例;多态函数类型推断和类型检查;