Guillaume Melquiond (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

10 Sylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond: Combining Coq and Gappa for Certifying Floating-Point Programs. Calculemus/MKM 2009: 59-74

7 Sylvie Boldo, Guillaume Melquiond: Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd. IEEE Trans. Computers 57(4): 462-471 (2008)

Selection of 2 from 10 records - Guillaume Melquiond has 8 coauthors

10		Sylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond: Combining Coq and Gappa for Certifying Floating-Point Programs. Calculemus/MKM 2009: 59-74
7		Sylvie Boldo, Guillaume Melquiond: Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd. IEEE Trans. Computers 57(4): 462-471 (2008)