Semantic Checking

Jiang Wenhong

Associate Professor

School of computer and information technology BJTU

Compiler Construction 2

08/12/2023

Aims

3

o Focus on a core issue: type checking

o We can type check statically within the compiler and during compile-time) and we can check dynamically (during run-time) o We focus on static checking

o We look at the problems languages with powerful data structure modelling capabilities present type checking

o We look at name and structure equivalence

12/8/2023

Semantic Checking

4

o The major issue in semantic analysis of a program source text is type checking

o We need to check that all identifiers and constants are used in accordance with the type rules of the language

o And we need to detect cases of implicit type conversion ( if allowed by the language) and insert the appropriate conversion code