Semantic Analysis

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.