TEIXEIRA, Douglas do Couto; 						PEREIRA, Fernando Magno Quintão.
 Um Algoritmo Inter-Procedural para Análise de Largura de Variáveis. <em>In</em>: CONCURSO DE TRABALHOS DE INICIAÇÃO CIENTÍFICA DA SBC (CTIC-SBC), 31.	, 2012, Curitiba/PR.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2012
.
 p. 81-90.