Garozi, P., & 		Silva, A.
2025 set 22.  Static Analysis for Program Execution Cost Estimation. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :