Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · - IEEE 754-2008 - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-10-24 04:48:50 Computer architecture Numbers Long double Floating point Double-precision floating-point format IEEE 754-2008 Single-precision floating-point format Extended precision Fortran Computer arithmetic Computing Data types		Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · Add to Reading List Source URL: gallium.inria.fr Download Document from Source Website File Size: 363,14 KB Share Document on Facebook

	FILTRANE, a Fortran 95 Filter-Trust-Region Package for Solving Nonlinear Least-Squares and Nonlinear Feasibility Problems NICHOLAS I. M. GOULD Rutherford Appleton Laboratory and DocID: 1uV8s - View Document
	PIPS: Internal Representation of Fortran and C Code Mehdi Amini Fabien Coelho B´eatrice Creusillet Serge Guelton DocID: 1uyV1 - View Document
	704 FORTRAN II TABLE OF CONTENTS FOR 4K-8K VERSION SAP LISTINGS OF THE 4K AND 8K DRUM VERSIONS. THESE LISTINGS CONSTITUTE THE ENTIRE FINAL VERSION OF 704 FORTRAN II. LISTINGS OF ASSOCIATED PROGRAMS, SUCH AS THE EDITOR, H DocID: 1uy8w - View Document
	Personal account: in search of the original Fortran compiler DocID: 1ukUn - View Document
	REFPROP 6 is a FORTRAN program developed by the National Institute of Standards and Technology to provide the most accurate thermodynamic and transport property data currently available for pure refrigerants and refriger DocID: 1ud7y - View Document