Nesta disciplina são aprofundados os conhecimentos de análise lexical
e sintáctica de programas, introduzidos na disciplina de «Linguagens
formais e autómatos». Serão ainda estudadas as outras fases
necessárias à compilação de programas: análise semântica estática;
análise de nomes e de tipos; geração e optimização de código.

A parte prática desta disciplina inclui a construção de um compilador.