计算机相关编译原理directed translation.pptxVIP

5ChapterSyntax-Directed Translation5.1 Attributes and attribute grammars5.2 Algorithms for attribute computation 5.3 翻译模式● Purpose 目的compute additional information needed for compilation that is beyond the capabilities of context-free grammars and standard parsing algorithms;● Static semantic analysis 静态语义分析 Take place prior to execution (Such as building a symbol table、performing type inference and type checking) ;● Classification 分类 analysis of a program required by the rules of the programming language to establish its correctness and to guarantee proper execution; analysis performed by a compiler to enhance the efficiency of execution of the translated program 5.1 Attributes and attribute grammars 属性和属性文法● Attributes 属性any property of a programming language construct such as The data type of a variable The value of an expression The location of a variable in memory The object code of a procedure The number of significant digits in a number 数的有效位数● Binding of the attribute 属性的联编the process of computing an attribute and associating its computed value with the language construct in question. ● Binding time联编时间the time during the compilation/execution process when the binding of an attribute occurs. 5.1 Attributes and attribute grammars 属性和属性文法● Static attributes / Dynamic attributes Based on the difference of the binding time, attributes is divided into Static attributes ( be bound prior to execution) and Dynamic attributes (be bound during execution).● Example◆type checker 类型检查器 ◆ the values of expressions表达式的值 usually dynamic and the be computed during execution; but sometime can also be evaluated during compilation(constant folding 常量合并). ◆The allocation of a variable 变量的分配 either static or dynamic，sometimes it is a mixture of static and dynamic depending on the language and properties of the variable itself.◆Object code of a procedure程序的目标代码 a static attribute, which is computed by the code generator.◆Number of significant digits in a number数的有效位数 often no