Design of compilers for block-structured general-purpose programming languages. Automatic generation of lexical analyzers and parsers. Error detection and correction. Code optimization.

None