Login / Signup
A Formally-Verified C Compiler Supporting Floating-Point Arithmetic.
Sylvie Boldo
Jacques-Henri Jourdan
Xavier Leroy
Guillaume Melquiond
Published in:
IEEE Symposium on Computer Arithmetic (2013)
Keyphrases
</>
floating point arithmetic
floating point
general purpose
database
programming language
databases
bayesian networks
software systems