Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond. Verified Compilation of Floating-Point Computations. Journal of Automated Reasoning, 54(2):135-163, 2015. [doi]
@article{BoldoJLM15, title = {Verified Compilation of Floating-Point Computations}, author = {Sylvie Boldo and Jacques-Henri Jourdan and Xavier Leroy and Guillaume Melquiond}, year = {2015}, doi = {10.1007/s10817-014-9317-x}, url = {http://dx.doi.org/10.1007/s10817-014-9317-x}, researchr = {https://researchr.org/publication/BoldoJLM15}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {54}, number = {2}, pages = {135-163}, }