A Formally-Verified C Compiler Supporting Floating-Point Arithmetic.
Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond
VenueCARITH
Year2013
ProceedingsIEEE Symposium on Computer Arithmetic
DBLP recordconf/arith/BoldoJLM13 ↗
Browse the full ARITH paper archive.