semantic analysis
The process of verifying the meaningful consistency of a program or expression, ensuring it adheres to the language's defined rules beyond just syntax. It checks for type compatibility, correct variable usage, and other context-dependent properties.