This phase is concerned with the semantics,
or meaning, of the program. Semantic processing is often performed
along with syntactic analysis.
It may include:
- Semantic error checking, such as checking for type errors.
- Insertion of extra operations, such as type coercion or
code for array references.