Teixeira D do C, Pereira FMQ. Um Algoritmo Inter-Procedural para Análise de Largura de Variáveis. REIC [Internet]. 2º de abril de 2013 [citado 2º de março de 2026];12(3). Disponível em: https://journals-sol.sbc.org.br/index.php/reic/article/view/1010