An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs.

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

Browse the full VMCAI paper archive.