Automatic Generation of Guard-Stable Floating-Point Code.

Laura Titolo, Mariano M. Moscato, Marco A. Feli, Csar A. Muoz

Browse the full IFM paper archive.