An investigation of compiler theory, design, and construction. Formal and practical issues in lexical analysis, syntactic analysis, semantic analysis (including type-checking and optimization), and code generation are covered. Substantial projects concerning implementation of working compilers are required. Prerequisites: CS 210 , CS 255 , CS 270 , CS 380 . Spring (Group II)