Semantic Analysis
OVERVIEW
se-man-tic: of or relating to meaning in language
Webster's Dictionary
The semantic analysis phase of a compiler connects variable definitions to their uses, checks that each expression has a correct type, and translates the abstract syntax into a simpler representation suitable for generating machine code.