Processamento semântico.
A ligação acima contém a solução para o exercício proposto. Está ainda disponível um exemplo de utilização da tabela de símbolos e do "visitor" de validação de tipos no gerador de C (tal como apresentado na aula teórica e que pode também ser útil no projecto).
Procurar resolver sem consultar.