No products in the basket.
Semantic checking and validation
Managing Symbol Tables
Scope management and Type Checking