Static Analysis for Program Execution Cost Estimation. - Pedro Henrique Torres Peres Garozi; Anderson Faustino da Silva (SBLP, 2025)