Titulo Estágio
Verificação estática de tipos de dados na linguagem Groovy
Área Tecnológica
Engenharia de Software
Local do Estágio
DEI-FCTUC
Enquadramento
A linguagem Groovy é uma extensão à linguagem Java que oferece uma grande flexibilidade na criação de DSLs (Domain Specific Languages). O Groovy apresenta, no entanto, algumas limitações na verificação estática de tipos/variáveis.
Objetivo
Melhorar a verificação dos tipos de dados na linguagem Groovy.
Melhorar o suporte à devolução de múltiplos valores em métodos e closures.
Estender núcleo de programação baseado em eventos.
Plano de Trabalhos - Semestre 1
Estudo de transformações locais e globais em árvores sintáticas (ASTs).
Estudo de métodos para alteração do compilador da linguagem Groovy.
Determinação do return type em closures.
Plano de Trabalhos - Semestre 2
Suporte para a devolução de múltiplos parâmetros em closures e métodos. (4 semanas)
Determinação das classe internas em tipos parametrizados. (4 semanas)
Utilização de tipos parametrizados na invocação de métodos. (4 semanas)
Introdução de herança em núcleo de programação orientada a eventos desenvolvido no laboratório (3 semanas)
Teste e validação. (2 semanas)
Escrita do relatório. (3 semanas)
Condições
Bolsa de investigação no âmbito do projecto PTDC/EIA-EIA/100752/2008: Reutilização de software usando uma abordagem Hierárquica e Modular.
Financiamento: Bolsa de Investigação da FCT (745 Euros mensais/2º Semestre).
Orientador
Fernando Barros
barros@dei.uc.pt 📩