CC 2011Dynamic Elimination of Overflow Tests in a Trace CompilerRodrigo Sol, Christophe Guillon, Fernando Magno Quintão Pereira, Mariza Andrade da Silva BigonhaPublisher pagedblpBibTeXNo abstract available.DOI 10.1007/978-3-642-19861-8_2