Compiler - Semantics Analysis
1 - About
Semantic analysis is the phase in which the compiler:
This phase performs semantic checks such as:
- type checking (checking for type errors),
- or object binding (associating variable and function references with their definitions),
- or definite assignment (requiring all local variables to be initialized before use), rejecting incorrect programs or issuing warnings.