Unit 6: Syntax Directed Translation and Semantic Analysis
Semantic Analysis takes input from the parsing process and prepares the code for the code-generation step. In this unit, we will discuss this process in detail, learning about scope and type-checking, type expression, type equations, and type inference.
Completing this unit should take you approximately 33 hours.
6.1: Syntax-Directed Translation and Attribute Grammars
6.2: Intermediate Representation
6.3: Functions of Semantic Analysis
6.3.1: Scope Checking of Names in a Program
6.3.2: Static vs. Dynamic Scope Checking
6.3.3: Type Checking
184.108.40.206: Type Expressions, Type Equivalence, Type Inference, and What to Check
220.127.116.11: Type Systems as Proof Systems-Type Checking as Proofs
18.104.22.168: Applications of Type Proofs
22.214.171.124: Type Equations, Unification and Binding of Type Expressions
6.4: Verification and Validation of Semantic Analysis