Chapter06_SyntaxDirected Translation语义分析续3概要1.ppt

北京化工大学 信息科学与技术学院计算机系 赵瑞莲 rlzhao@mail.buct.edu.cn Chapter 6 Syntax-Directed Translation语义分析 6.1 属性和属性文法 6.2 属性计算算法 6.3 符号表 6.4 数据类型和类型检查 6.5 TINY语言的语义分析 6.3 The symbol table 符号表 6.3 The symbol table 符号表 6.3 The symbol table 符号表 6.3 The symbol table 符号表 6.3 The symbol table 符号表 6.3.1 The structure of the symbol table 符号表的结构 6.3.1 The structure of the symbol table 符号表的结构 6.3.1 The structure of the symbol table 符号表的结构 6.3.2 Declarations 声明 6.3.2 Declarations 声明 6.3.3 Scope rules and block structure 作用域规则和块结构 ● Example 6.3.3 Scope rules and block structure 作用域规则和块结构 6.4 Data types and type checking 数据类型和类型检查 6.4 Data types and type checking 数据类型和类型检查 6.4 Data types and type checking 数据类型和类型检查 6.4.1 Type expressions and type constructors 类型表达式和类型结构 6.4.1 Type expressions and type constructors 类型表达式和类型结构 6.4.1 Type expressions and type constructors 类型表达式和类型结构 6.4.1 Type expressions and type constructors 类型表达式和类型结构 6.4.1 Type expressions and type constructors 类型表达式和类型结构 6.4.3 Type Equivalence类型等价 6.4.3 Type Equivalence类型等价 6.4.3 Type Equivalence类型等价 6.4.3 Type Equivalence类型等价 6.4.4 Type inference and type checking 类型推论和类型检查 6.4.4 Type inference and type checking 类型推论和类型检查 6.4.4 Type inference and type checking 类型推论和类型检查 Chapter 6 Syntax-Directed Translation语义分析 6.1 属性和属性文法 6.2 属性计算算法 6.3 符号表 6.4 数据类型和类型检查 6.5 TINY语言的语义分析 ● The phase of a compiler 编译程序的结构 Chapter 7 Runtime Enviromrnts运行时环境 Chapter 7 Runtime Enviromrnts运行时环境 Chapter 7 Runtime Enviromrnts运行时环境 Chapter 7 Runtime Enviromrnts运行时环境 7.1 程序执行时的存储器组织 7.1 程序执行时的存储器组织 7.1 程序执行时的存储器组织 7.1 程序执行时的存储器组织 7.1 程序执行时的存储器组织 7.1 程序执行时的存储器组织 7.1 程序执行时的存储器组织 7.2 完全静态运行时环境 7.3 基于栈的运行时环境 7.3 基于栈的运行时环境 7.4 动态存储器 7.5 参数传递机制 Chapter 7 Runtime Enviromrnts运行时环境 Q and A Beijing University of Chemical Technology Beijing,?P R China 词 法 分 析 源 程 序 目 标 程 序 语 法 分 析 语 义 分 析 文字表、符号表处理 错误处理 中 间 代 码 优 化 中 间 代 码 生 成 ● The phase of a compiler 编译程序的结构 目 标 代 码 生 成 静态语义 仅取决于源语言的特性，与目标语言、目标机器