Texto completo
| |
| Autor(es): |
Clevan Ricardo da Costa
Número total de Autores: 1
|
| Tipo de documento: | Dissertação de Mestrado |
| Imprenta: | Campinas, SP. |
| Instituição: | Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Ciência da Computação |
| Data de defesa: | 1995-12-11 |
| Membros da banca: |
Tomasz Kowaltowski
|
| Orientador: | Tomasz Kowaltowski |
| Resumo | |
Este trabalho consiste na introdução de uma fase de otimização no compilador para a linguagem LL. O eu principal objetivo é a inferência de tipos, realizada através de uma análise de fluxo de dados. São apresentados diversos métodos para inferência de tipos em linguagens orientadas a objetos, bem como uma revisão sobre análise de fluxo de dados. O método de Kaplan e Ullman éapresentado com mais detalhes, juntamente com sua adaptação para LL , sua implementação e junção ao compilador desenvolvido para a linguagem. Finalmente são apresentadas as conclusões, os resultados obtidos e as propostas de extensões futuras para o trabalho (AU) | |
| Processo FAPESP: | 94/00727-5 - Otimização de tipos em linguagem LL |
| Beneficiário: | Clevan Ricardo da Costa |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |