Garozi, P., & Silva, A. (2025). Static Analysis for Program Execution Cost Estimation. In Anais do XXIX Simpósio Brasileiro de Linguagens de Programação, (pp. 67-74). Porto Alegre: SBC. doi:10.5753/sblp.2025.13116