Type Checking (Semantic)
← Back to Semantic Analysis
Verifying that operations are applied to compatible types throughout the program. The type checker ensures that function arguments match parameter types, return values match declared types, and operators are applied to valid operands.