Back to Results
First PageMeta Content
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

Document Date: 2014-10-24 04:48:50

Open Document

File Size: 363,14 KB

Share Result on Facebook

Company

BP / /

/

Event

Company Expansion / /

Facility

µFP complex / Flocq library / /

IndustryTerm

x86 processor / x86 processors / target processor / numerical algorithms / formal verification tools / intermediate product / /

Person

Xavier Leroy / Sylvie Boldo / Jacques-Henri Jourdan / Guillaume Melquiond / X. Leroy Inria Paris-Rocquencourt / /

Position

editor / Coq proof assistant / programmer / /

ProgrammingLanguage

E / FP / C / Fortran / Java / /

Technology

target processor / x86 processor / operating system / Java / x86 processors / /

URL

http /

SocialTag