Certifying the floatingpoint implementation of an elementary function using Gappa (0)

by Florent de Dinechin, Christoph Lauter, Guillaume Melquiond
Venue:Transactions on Computers
Add To MetaCart
Results 1 - 2 of 2

User’s Guide for Gappa

by Guillaume Melquiond Contents
"... 2.1 Input and output................................................... 3 ..."
Abstract - Add to MetaCart
2.1 Input and output................................................... 3

Program

by Sylvie Boldo, François Clément, Jean-christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis, Sylvie Boldo, François Clément, Jean-christophe Filliâtre, Micaela Mayero, Guillaume Melquiond
"... apport de recherche ..."
Abstract - Add to MetaCart
apport de recherche