Familiarização com os conceitos de linguagens de programação de alto nível e seus processadores. Técnicas de especificação, projeto, simulação, análise e implementação de componentes de compiladores para linguagens de alto nível imperativas.

Tópicos teóricos: Conceitos de linguagens de programação e seus processadores. Paradigmas. Componentes, itens léxicos e sintáticos. Semântica. Análise léxica. Meta-linguagens. Especificação formal da sintaxe de linguagens de programação. Análise sintática. Gramáticas e autômatos de pilha estruturados. Obtenção de reconhecedores. Métodos descendentes e ascendentes. Estruturas de controle. Ambientes de execução. Linguagens intermediárias. Código-objeto. Bibliotecas. Análise semântica e geração de código. Estruturas de dados. Tipos de dados. Declarações, manipulação de dados. Seleções, operações, expressões, atribuições, declaração e chamadas de funções e procedimentos. Parâmetros e argumentos. Conceitos de recuperação de erros e de otimização de código. Geração automática de analisadores léxico e sintático.

Tópicos teóricos: Conceitos de linguagens de programação e seus processadores. Paradigmas. Componentes, itens léxicos e sintáticos. Semântica. Análise léxica. Meta-linguagens. Especificação formal da sintaxe de linguagens de programação. Análise sintática. Gramáticas e autômatos de pilha estruturados. Obtenção de reconhecedores. Métodos descendentes e ascendentes. Estruturas de controle. Ambientes de execução. Linguagens intermediárias. Código-objeto. Bibliotecas. Análise semântica e geração de código. Estruturas de dados. Tipos de dados. Declarações, manipulação de dados. Seleções, operações, expressões, atribuições, declaração e chamadas de funções e procedimentos. Parâmetros e argumentos. Conceitos de recuperação de erros e de otimização de código. Geração automática de analisadores léxico e sintático.Tópicos de projeto: Especificação formal de uma linguagem de alto nível. Construção de um analisador léxico para a linguagem especificada. Construção de um reconhecedor sintático para a linguagem especificada. Implementação de rotinas de geração de código e ambiente de execução.                                                                                                                                                                                                Syllabus - PCS2508   Languages and Compilers                                                                                                                                   Theory:Concepts of programming languages and their processors. Paradigms. Components. Lexical and syntactical items. Semantics. Lexical analysis. Meta-languages. Formal specification of programming language syntax. Parsing. Grammars and structured pushdown automata. Construction of language acceptors. Top-down and bottom-up analysis. Control structures. Run-time environments. Intermediate languages. Object code.Libraries. Semantic Analysis and code generation. Data structures. Data types. Declarations and data  manipulation. Selections, operations, expressions, assignments. Declaration and calls of functions and procedures. Parameters and arguments. Error recovery. Code optimization. Automatic generation of scanners and parxers.Project topics:Formal specification of a high level language. Implementation of a scanner for the language. Implementation of a parser for the language. Implementation of code generation routines. Implementation of the run-time environment.