Accéder directement au contenu

Sylvie Boldo

2
Documents
Identifiants chercheurs

Présentation

Auto-magically brought to you by HAL.
Auto-magically brought to you by HAL.

Publications

xavier-leroy
guillaume-melquiond
Image document

A Formally-Verified C Compiler Supporting Floating-Point Arithmetic

Sylvie Boldo , Jacques-Henri Jourdan , Xavier Leroy , Guillaume Melquiond
Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115
Communication dans un congrès hal-00743090v2