[Modules] [Syllabus] [Labs]

Module #4 Semantic Analysis

Objectives

  1. Perform semantic analysis
  2. Define static checking
  3. Define intermediate representations
  4. Read and write attribute grammars

Background Material

1. My Text: Semantic Analysis (Just through 6.4)
2. Cooper, Torczon & Kennedy: Semantic Analysis & Attribute Grammars
3. Cooper, Torczon & Kennedy: Ad Hoc Translation (includes example for AST creation)
4. Cooper, Torczon & Kennedy: IR's
5. Rastislav Bodik: AST's [PDF]
6. Christian Collberg: Attribute Grammars
7. Intro to Semantic Analysis and Attribute Grammars video [vPOD]
8. Semantic Analysis and IR's video [vPOD]
9. More semantic analysis video