cmpl07old市公开课一等奖课件名师大赛获奖课件.pptx

第七章语义分析和中间代码产生;概述;类型检查。验证程序中执行的每个操作与否恪守语言的类型系统的过程，编译程序必须报告不符合类型系统的信息。

控制流检查。控制流语句必须使控制转移到正当的地方。

例如，在C语言中break语句使控制跳离涉及该语句的最小while、for或switch语句。如果不存在涉及它的这样的语句，则就报错。

一致性检查。在诸多场合规定对象只能被定义一次。例如Pascal语言规定同一标记符在一种分程序中只能被阐明一次，同一case语句的标号不能相似，枚举类型的元素不能重复出现等等。

有关名字检查。有时，同一名字必须出现两次或多次。例如，Ada语言程序中，循环或程序块能够有一种名字，出现在这些构造的开头和结尾，编译程序必须检查这两个地方用的名字是相似的。

名字的作用域分析;中间代码;§7.1中间语言;7.1.2图表达法;7.1.2图表达法(2);7.1.2图表达法(3);7.1.3三地址代码（1）;7.1.3三地址代码（2）;7.1.4三地址代码的三种表达办法(1);7.1.4三地址代码的三种表达办法(2);§7.2阐明语句;7.2.2 保存作用域信息（嵌套）(1);7.2.2 保存作用域信息(2);7.2.2 保存作用域信息(3);7.2.2 保存作用域信息(4);7.2.3统计中的域名;§7.3赋值语句的翻译;7.3.2数组元素的引用(1);7.3.2数组元素的引用(2);7.3.2数组元素的引用(3);7.3.2数组元素的引用(4);7.3.2数组元素的引用(5);算术体现式和赋值语句中的类型检查(1);算术体现式和赋值语句中的类型检查(2);算术体现式和赋值语句中的类型检查(3);7.3.3统计中域的引用;7.4 布尔体现式的翻译(1);7.4 布尔体现式的翻译(2);7.4 布尔体现式的翻译(3);7.4.2作为条件控制的布尔式翻译（0）;7.4.2作为条件控制的布尔式翻译（1）;7.4.2作为条件控制的布尔式翻译（2）;7.4.2作为条件控制的布尔式翻译（3）;7.4.2作为条件控制的布尔式翻译（4）;7.4.2作为条件控制的布尔式翻译（5）;7.4.2作为条件控制的布尔式翻译（6）;7.4.2作为条件控制的布尔式翻译（7）;7.4.2作为条件控制的布尔式翻译（8）;§7.5控制语句的翻译;7.5.1控制流语句（2）;7.5.1控制流语句（3）;7.5.1控制流语句（4）;控制语句的一遍翻译模式（1）;控制语句的一遍翻译模式（2）;控制语句的一遍翻译模式（3）;7.5.2 标号与goto语句(1);7.5.2 标号与goto语句(2);§7.6过程调用的解决;§7.7类型检查;7.7.2类型检查器的规格阐明(1);7.7.2类型检查器的规格阐明(2);7.7.2类型检查器的规格阐明(3);7.7.2类型检查器的规格阐明(4)