A part of a Compiler that will validate the meaning of the AST.
- Type checking/Coercion
- Object method/attribute checking
- Variable assignment checking (Declare Before Use)
- Function Closures Will also generate a Symbol Table
A part of a Compiler that will validate the meaning of the AST.