Static Semantic Analysis

1. 静态语义分析

代码生成前程序合法性检查的最后阶段

• 静态类型检查
• 作用域分析
• ……

2. 类型检查

• 借助翻译模式
• 将类型表达式作为属性值赋给（addtype）文法符号

3. 中间代码生成

---

Last update: January 2, 2022

Authors: Co1lin