Compilers: Application of language theory to the design of compilers and interpreters for high-level programming languages. Lexical, syntactic, and semantic analysis, and code generation. Other topics include storage allocation, symbol table management, optimization, and the use of modern compiler generation tools.