Pedro Henrique Torres Peres Garozi, Anderson Faustino da Silva. Static Analysis for Program Execution Cost Estimation. In Hugo Musso Gualandi, André Murbach Maidl, Carla Silva 0001, Jéssyka Vilela, Mariana Maia Peixoto, editors, Proceedings of the 29th Brazilian Symposium on Programming Languages, SBLP 2025, Recife, Brazil, September 22-26, 2025. pages 67-74, SBC, 2025. [doi]
Abstract is missing.