Semantic Analysis
From eplmediawiki
Semantic Analysis is the compiler's phases in which the valid (correct) syntax tree (exhibiting the input structure) is traversed in order to validate the input compliance against the language's semantic rules (declarations, scope, type, etc).