东南大学 编译原理 课件 Cp6.pptVIP

Chapter 6 Type Checking Zhai Yuqing Zhou Xiaoyu Overview Static Checking Check that the source program follows both the syntax and (static) semantic conventions of the source language. Examples of Static Check Type checks (incompatible operand) Flow-of-control checks (break statement) Uniqueness checks (uniquely declared identifier) Name-related checks Position of Type Checker A type checker verifies that the type of a construct matches that expected by its context. Type information gathered by a type checker may be needed when code is generated. Overload A symbol that can represent differe