Análise Semântica¶
Status: Planejada
Verificação de tipos, resolução de escopo e validação lógica do programa.
Fluxograma
(Reservado — AST → Analisador Semântico → AST Anotada + Diagnósticos)
Tópicos previstos¶
- Tabela de símbolos e gerenciamento de escopo
- Sistema de tipos do subconjunto de C
- Verificação de declarações e uso de variáveis
- Inferência e coerção de tipos
- Tipos de erros semânticos (
UndefinedVariable,TypeMismatch)