Automata and Compilers 10 - Semantic Analysis and Type Checking
How semantic analysis catches the errors that parsers cannot, and how type checking guarantees program safety
Posts tagged "compiler"
Automata and Compilers 11 - Intermediate Representations and Optimization
Why compilers use intermediate representations and how optimization makes programs faster
Automata and Compilers 12 - Code Generation
How optimized intermediate representations become machine code, and a final look back from automata theory to compiler construction