A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

IV – Análise semântica Implementação da tabela de símbolos Verificação estática Bibliografia aconselhada: –Aho, Sethi e Ullman – capítulo 6 –Crespo – capítulo.

Apresentações semelhantes


Apresentação em tema: "IV – Análise semântica Implementação da tabela de símbolos Verificação estática Bibliografia aconselhada: –Aho, Sethi e Ullman – capítulo 6 –Crespo – capítulo."— Transcrição da apresentação:

1 IV – Análise semântica Implementação da tabela de símbolos Verificação estática Bibliografia aconselhada: –Aho, Sethi e Ullman – capítulo 6 –Crespo – capítulo 6 LFA 1999/ Jorge Morais

2 Tabelas de símbolos Inserção e pesquisa eficiente dos identificadores Capacidade de armazenar atributos para diferentes tipos de identificadores Visibilidade nas várias fases da compilação Versatilidade na verificação de tipos LFA 1999/ Jorge Morais

3 Árvores binárias Inserção ordenada de informação Pesquisa de informação eficiente Existência de algoritmos de balanceamento de árvores binárias LFA 1999/ Jorge Morais

4 Tabelas de hashing Divisão da informação em várias parcelas Função de hashing: Função simples que faz essa divisão e acede rapidamente ao local de armazenamento LFA 1999/ Jorge Morais

5 Verificação estática Verificação de tipos: verificar se os tipos de duas variáveis numa operação são compatíveis Verificação de fluxo de controlo: verificar se algumas instruções de fluxo de controlo estão bem definidas: –goto label só é possível se existir label –break só é possível dentro dum ciclo LFA 1999/ Jorge Morais

6 Verificação estática (cont.) Unicidade: verificação da unicidade de algumas construções: –funções definidas uma única vez –switch-case com alternativas únicas Verificação relacionada com nomes LFA 1999/ Jorge Morais

7 Verificação de tipos Verificação de tipos pode ser realizada em: –Expressões –Instruções –Funções Equivalência de tipos Conversão de tipos Tipos polimórficos Funções polimórficas LFA 1999/ Jorge Morais


Carregar ppt "IV – Análise semântica Implementação da tabela de símbolos Verificação estática Bibliografia aconselhada: –Aho, Sethi e Ullman – capítulo 6 –Crespo – capítulo."

Apresentações semelhantes


Anúncios Google