4.5 credits (3-0-3)
Pre-requisites: COL 216, COL 226 OR Equivalent
Compilers and translators; lexical and syntactic analysis, top-down and bottom up parsing techniques; internal form of source programs; semantic analysis, symbol tables, error detection and recovery, code generation and optimization. Type checking and static analysis. Static analysis formulated as fixpoint of simultaneous semantic equations. Data flow. Abstract interpretation. Correctness issues in code optimizations. Algorithms and implementation techniques for type-checking, code generation and optimization. Students will design and implement translators, static analysis, type-checking and optimization. This is a praxis-based course. Students will use a variety of software tools and techniques in implementing a complete compiler.