On the generation of equational dynamic logics for weighted imperative programs - Gomes, Leandro Rafael Moreira (2019)