Garozi, Pedro, E 		Silva, Anderson.
" Static Analysis for Program Execution Cost Estimation" <em>Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP)</em> [Online], (22 setembro 2025)