第4章类型检查.PDFVIP

第第44章章 类类 型型 检检 查查 记号记号 语法语法 语法语法 类型类型 语法语法 中间 中间中间 流 分析 树 检查 树树 代码 表示 器器 器器 生成生成 器 本章内容 –简要介绍语法制导的翻译简要介绍语法制导的翻译 – 介绍静态检查中最典型的部分—— 类型检查 忽略其他的静态检查：控制流检查、唯一性检查、 关联名字检查等关联名字检查等 44.11 语法制导的翻译语法制导的翻译 4.1.1 翻译方案 •• 例例 简单台式计算器的语法制导定义简单台式计算器的语法制导定义 产产 生生 式式 语语 义义 动动 作作 L E n print (E.val) E E + T