Type Checking

Intermediate Representations

Parser Generators

Stack-based execution

Lexer Generators

Register-based execution

Control-flow analysis

Program re-writing

Register Allocation

Instruction Selection

Data-flow analysis