语义分析.pptx

文档介绍：语义分析概述1语义2语义分析3语义分析的典型实现4语义分析的方法1语义与被翻译过程的最终含义密切相关的信息两种语义静态语义被静态定义,在执行前可以确定. 编译器实现静态语义分析动态语义只有在执行时才能确定2语义分析要求根据编成语言的规则建立正确性,并保证其正确执行。 典型的语义分析有:静态类型检查:运算符的分量类型是否相同?赋值号的左右边类型是否相同?形参与实参类型是否相同?数组下标的类型是否为所允许的类型?函数说明中的函数类型和返回值的类型是否一致?其他语义分析:V[E]中的V是不是变量,而且是数组类型?,而且是记录类型?i是不是该记录的域名?每个使用性标识符是否都有声明?有无标识符的重复声明?3语义分析的典型实现构造符号表、记录声明中建立的名字的含义在表达式和语句中进行类型推断和类型检查以及在语言的类型规则作用域内判断它们的正确性。4语义分析的方法描述 属性文法用来描述语义实现 语法制导语义分析 程序的语义内容与它的语法紧密相关的属性文法 属性文法包括一组属性和属性等式或语义规则属性是必须进行计算的语言实体的属性属性等式(或语义规则):变量的数据类型表达式的值存储器中变量的位置程序的目标代码