![Computer arithmetic / Computing / Software engineering / Computer architecture / IEEE floating point / Double-precision floating-point format / Extended precision / Processor register / Compiler correctness / Rounding / Fortran / Single-precision floating-point format Computer arithmetic / Computing / Software engineering / Computer architecture / IEEE floating point / Double-precision floating-point format / Extended precision / Processor register / Compiler correctness / Rounding / Fortran / Single-precision floating-point format](https://www.pdfsearch.io/img/ca6feddf35454da865f64725ee55f2dc.jpg) Date: 2013-04-16 09:27:03Computer arithmetic Computing Software engineering Computer architecture IEEE floating point Double-precision floating-point format Extended precision Processor register Compiler correctness Rounding Fortran Single-precision floating-point format | | A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, UnivAdd to Reading ListSource URL: www.lri.frDownload Document from Source Website File Size: 244,77 KBShare Document on Facebook
|