No products in the basket.
Semantic checking and type checking
Symbol tables and scope management
Detecting and correcting semantic errors