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