Skip to Main content
Number of documents


CV of Sylvie Boldo

Auto-magically brought to you by HAL.

Xavier Leroy   

Journal articles1 document

Conference papers1 document

  • Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond. A Formally-Verified C Compiler Supporting Floating-Point Arithmetic. Arith - 21st IEEE Symposium on Computer Arithmetic, Apr 2013, Austin, United States. pp.107-115. ⟨hal-00743090v2⟩