Implementação de Semântica Formal
Neste projeto foi trabalhado na área de geradores e otimizadores de código para linguagens funcionais, orientando um aluno em projeto de iniciação científica cujo título é : Um Compilador para uma Linguagem Funcional Orientada a Objetos Script para Haskell; e um aluno em sua dissertação de mestrado cujo título é Geração de Código LAMB e Geração de Supercombinadores.
Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) .
Integrantes: Mariza Andrade da Silva Bigonha – Coordenador / BIGONHA, Roberto S. – Integrante / Wendell Figueiredo Taveira – Integrante / Marco Rodrigues – Integrante.
Início: 2000
Término: 2002
Coordenador: Mariza Andrade da Silva Bigonha
Situação: Encerrado