Automatic Inference of Loop Complexity Through Polynomial Interpolation. - Francisco Demontiê; Junio Cezar R. da Silva; Mariza Andrade da Silva Bigonha; Frederico F. Campos; Fernando Magno Quintão Pereira (SBLP, 2015)