| Grant number: | 10/02230-5 |
| Support Opportunities: | Scholarships in Brazil - Master |
| Start date: | September 01, 2010 |
| End date: | July 31, 2011 |
| Field of knowledge: | Physical Sciences and Mathematics - Computer Science - Computer Systems |
| Principal Investigator: | Paulo Cesar Centoducatte |
| Grantee: | Rafael Auler |
| Host Institution: | Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil |
Abstract O processo de automatização da criação de backends de compiladores, isto é, docomponente responsável principalmente pela tradução final para código de máquina, é perseguido desde o início da formação da teoria decompiladores. Esta pressão por isolar o código, da descrição formal da máquina, decorre das características do desenvolvimento destescomponentes: um processo longo, envolvendo análise de muitos casos (levando a códigos grandes e difíceis de manter), que compreende duas partes distintas - algoritmos genéricos de compiladores unidos com conhecimento sobre aarquitetura da máquina alvo. Por esse motivo, um esforço natural para manter o desenvolvimento simples e intuitivo é a concentração do conhecimento sobre a máquina alvo em uma forma concisa de descrição, da qual seja possívelespecializar algoritmos genéricos de compilação para este alvo específico. Uma linguagem de descrição de arquiteturas (ADL) permite a especificação das características arquiteturais de processadores, englobando as instruçõesdisponíveis. Este projeto de mestrado propõe o estudo de mecanismos para gerar backend de compiladores através de descrições arquiteturais de processadores, com ênfase no estudo de caso da ADL ArchC com o compilador LLVM. | |
| News published in Agência FAPESP Newsletter about the scholarship: | |
| More itemsLess items | |
| TITULO | |
| Articles published in other media outlets ( ): | |
| More itemsLess items | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |