This course covers the design and implementation of compilers for high-level languages, and examines the interaction between language design, compiler design, and run-time organization. Topics covered include lexical analysis and syntactic analysis (recursive descent, LL, LR, and LALR parsing), symbol tables, type checking and procedure calls, storage allocation for variables, and generation of unoptimized code, optimization, memory management and run-time organization.