Garozi, Pedro, and Anderson Faustino da Silva.
" Static Analysis for Program Execution Cost Estimation." <em>Anais do XXIX Simpósio Brasileiro de Linguagens de Programação,
Recife/PE, 2025</em>. SBC, 2025,  
pp.67-74.