第五章类型检查

编译原理与技术. 静态检查中最典型的部分— 类型检查:. 类型系统、类型检查、多态函数、重载. 忽略其它的静态检查:控制流检查、唯一性检查、关联名字检查.
展开查看详情