Teixeira, D., & 		Pereira, F.
2012 jul 16.  Um Algoritmo Inter-Procedural para Análise de Largura de Variáveis. Anais do Concurso de Trabalhos de Iniciação Científica da SBC (CTIC-SBC). [Online] :