Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira. Speed and Precision in Range Analysis. In Francisco Heron de Carvalho Junior, Luís Soares Barbosa, editors, Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Volume 7554 of Lecture Notes in Computer Science, pages 42-56, Springer, 2012. [doi]
Abstract is missing.