Pedro Garozi and Anderson Silva. 2025.
 Static Analysis for Program Execution Cost Estimation. In <em>Anais do XXIX Simpósio Brasileiro de Linguagens de Programação</em>, setembro 22, 2025, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 67-74. DOI: <a href="https://doi.org/10.5753/sblp.2025.13116">https://doi.org/10.5753/sblp.2025.13116</a>.