O objetivo desta aula é apresentar o conceito de sistemas de tipos, ilustrando como regras semânticas em gramáticas de atributos podem ser implementadas por visitors.
- O que é um sistema de tipos?
- Como usar tabelas de símbolos como estruturas auxiliares para checagem de tipos?
- Quais informações precisam ser coletadas para fazer type-checking de programas MiniJava?