Aspectos Preliminares. Evolução das Linguagens de Programação. Sintaxe e a Semântica. Nomes, Vinculações, Verificação de Tipos e Escopos. Tipos de Dados. Expressões e Instruções de Atribuição. Subprogramas. Concorrência. Manipulação de Exceções. Linguagens de Programação: Orientadas a Objeto, Funcionais e Lógicas.
02. Evolução das Principais Linguagens de Programação
03. Descrevendo a Sintaxe e a Semântica
04. Nomes, Vinculações, Verificação de Tipos e Escopos
06. Expressões e Instruções de Atribuição
07. Estruturas de Controle no Nível da Instrução
09. Implementando Subprogramas
11. Suporte para Programação Orientada a Objeto
14. Linguagens de Programação Funcionais
15. Linguagens de Programação Lógicas
Aho, Alfred V. (2008). Compiladores: princípios, técnicas e ferramentas. 2ª edição. São Paulo: Pearson Addison-Wesley. 634 páginas.
Friedman, Daniel P. (2001). Fundamentos de Linguagem de Programação. 2ª edição. São Paulo: Berkeley Brasil. 400 páginas.
Menezes, Paulo Fernando Blauth. (2000). Linguagens Formais e Autômatos. 4ª edição. Porto Alegre: Instituto de Informática da UFRGS: Sagra Luzzatto. 165 páginas.
Price, Ana Maria de Alencar. (2005). Implementação de Linguagens de Programação: compiladores. 3ª edição. Porto Alegre: Instituto de Informática da UFRGS: Sagra Luzzatto. 212 páginas.
Ramos, Marcus Vinícius Midena. (2009). Linguagens Formais: teoria, modelagem e implementação. Porto Alegre: Bookman. 656 páginas.
Ricarte, Ivan. (2008). Introdução à Compilação. Rio de Janeiro: Elsevier. 264 páginas.
Sebesta, Robert W. (2000). Conceitos de Linguagens de Programação. 4ª edição. Porto Alegre: Bookman. 624 páginas.