Yes: https://hal.inria.fr/inria-00534854v1/document https://hal.inria.fr/inria-00534854v1/document https://xavierleroy.org/publi/floating-point-compcert.pdf h

Yes: https://hal.inria.fr/inria-00534854v1/document https://hal.inria.fr/inria-00534854v1/document https://xavierleroy.org/publi/floating-point-compcert.pdf https://xavierleroy.org/publi/floating-point-compcert.pdf