Declare Your Language

• Preface
• What is a Compiler?
  • Slides
  • Etymology
  • What is a Compiler?
  • Compiler Architecture
  • Retargeting
  • Why do we need compilers?
  • Programming is Expressing Computational Intent
  • Types of Compilers
  • Levels of Understanding Compilers
  • A First Taste of Compiler Construction
  • Further Reading
• Declarative Language Definition
  • A Language Designer’s Workbench
  • Meta-Language Design

Syntax

• Declarative Syntax Definition
  • Slides
  • Further Reading
• Formatting
• Parsing
  • Further Reading
• Transformation

Statics

• Static Semantics
  • Name Resolution
  • Type Checking
  • Constraint Resolution I
  • Constraint Resolution II

Dynamics

• Dynamic Semantics

Analysis

• Static Analysis
  • Data-Flow Analysis

Synthesis

• Code Generation