Author:
Becker Heiko,Darulova Eva,Myreen Magnus O.,Tatlock Zachary
Publisher
Springer International Publishing
Reference41 articles.
1. LLVM language reference manual - fast-math flags (2019).
https://llvm.org/docs/LangRef.html#fast-math-flags
2. Semantics of floating point math in GCC (2019).
https://gcc.gnu.org/wiki/FloatingPointMath
3. Becker, H., Zyuzin, N., Monat, R., Darulova, E., Myreen, M.O., Fox, A.: A verified certificate checker for finite-precision error bounds in Coq and HOL4. In: 2018 Formal Methods in Computer Aided Design (FMCAD), pp. 1–10. IEEE (2018)
4. Blanchet, B., et al.: A static analyzer for large safety-critical software. In: PLDI (2003)
5. Boldo, S., Jourdan, J.H., Leroy, X., Melquiond, G.: A formally-verified c compiler supporting floating-point arithmetic. In: 2013 21st IEEE Symposium on Computer Arithmetic (ARITH), pp. 107–115. IEEE (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SMT-Based Translation Validation for Machine Learning Compiler;Computer Aided Verification;2022
2. Towards a verified range analysis for JavaScript JITs;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06