Sumários
Aula L10
14 maio 2009, 16:00 • Filipe Cristóvão
Análise sintáctica ascendente LALR(1). Conjuntos Lookahead. Resolução de exercício: construção do autómato e propagação de lookaheads; comparação entre LR(0), SLR(1) e LALR(1). Compactação das tabelas de análise sintáctica.
Aula T20: Semântica
14 maio 2009, 14:30 • David Martins de Matos
Processamento da árvore abstracta: nós e classes de visita (visitors). Verificação de tipos. Organização do processamento. Tabela de símbolos e processamento de variáveis. Exemplo de validação de tipos no compilador exemplo Compact: uso de visitors e desacoplamento da verificação de tipos relativamente à geração de código.
Aula T20: Semântica
14 maio 2009, 13:00 • David Martins de Matos
Processamento da árvore abstracta: nós e classes de visita (visitors). Verificação de tipos. Organização do processamento. Tabela de símbolos e processamento de variáveis. Exemplo de validação de tipos no compilador exemplo Compact: uso de visitors e desacoplamento da verificação de tipos relativamente à geração de código.
Aula L10
13 maio 2009, 17:30 • Filipe Cristóvão
Análise sintáctica ascendente LALR(1). Conjuntos Lookahead. Resolução de exercício: construção do autómato e propagação de lookaheads; comparação entre LR(0), SLR(1) e LALR(1). Compactação das tabelas de análise sintáctica.
Aula T19: Semântica
13 maio 2009, 16:00 • David Martins de Matos
Introdução à análise semântica. Árvores abstractas. Tipos, variáveis, funções. Natureza das variáveis. Logevidade, visibilidade e acessibilidade de variáveis. Tabela de símbolos e processamento de variáveis e funções. Problemas de endereçamento.