Semantic Analysis
← Back to Compilation Pipeline
Validates the meaning of the program beyond syntax. Semantic analysis performs type checking, name resolution, and scope analysis, ensuring that variables are declared before use, types are compatible, and language rules are satisfied.