概述语义处理 语法分析后的源程序→语义处理 程序设计语言的语义 静态语乂是对程序约束的描述,这些约束无法通过抽 象语法规则来妥善地描述,实质上就是语法规则的良 形式条件,它可以分为类型规则和作用域/见性规则 两大类类型相容性变量先声明后引用名称相关要 求 动态语义程序单位描述的计算 编译程序的语义处理工作静态语义审査解释执行动 态语义(计算)生成代码概述 语义处理 • 程序设计 语言的语义 • 静态语义是对程序约束的描述，这些约束无法通过抽 象语法规则来妥善地描述，实质上就是语法规则的良 形式条件，它可以分为类型规则和作用域/可见性规则 两大类 类型相容性 变量先声明后引用 名称相关要 求 动态语义 程序单位描述的计算 • 编译程序的语义处理工作 静态语义审查 解释执行动 态语义（计算）生成代码... 语 法 分 析 后 的 源 程 序  语义处理