Programming languages and static analysis techniques for software energy certification - Ferramenta, Delcio Kelson Alves; Sousa, Simão Patricio Melo de (2023)