CV Accueil - Archive ouverte HAL

Publications

	Verified Compilation of Floating-Point Computations Sylvie Boldo , Jacques-Henri Jourdan , Xavier Leroy , Guillaume Melquiond Journal of Automated Reasoning, 2015, 54 (2), pp.135-163. ⟨10.1007/s10817-014-9317-x⟩ Article dans une revue hal-00862689v3

	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