📖

Compilers

3 courses

Lexical Analysis and Parsing

Implement lexical analyzers with finite automata and regular expressions. Construct LL(1) and LR(1) parsers, build abstract syntax trees, and handle syntax error recovery.

2 h advanced

Semantic Analysis and Type Systems

Perform scope resolution and type checking via attribute grammars and symbol tables. Implement Hindley-Milner type inference, polymorphism, and subtyping rules.

2 h advanced

Intermediate Representations and Optimization

Generate three-address code and static single assignment form. Apply data-flow analysis for constant propagation, dead code elimination, loop-invariant code motion, and register allocation.

2 h advanced