Automatic Inference of Loop Complexity Through Polynomial Interpolation

Francisco Demontiê, Junio Cezar, Mariza Andrade da Silva Bigonha, Frederico Campos, Fernando Magno Quintão Pereira. Automatic Inference of Loop Complexity Through Polynomial Interpolation. In Alberto Pardo, S. Doaitse Swierstra, editors, Programming Languages - 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings. Volume 9325 of Lecture Notes in Computer Science, pages 1-15, Springer, 2015. [doi]

Abstract

Abstract is missing.