Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. ANSI/IEEE. IEEE Standard for Binary Floating-point Arithmetic, std 754-1985 edition (1985)
2. Bohlender, G., Walter, W., Kornerup, P., Matula, D.W.: Semantics for exact floating-point operations. In: Symp. on Computer Arithmetic, pp. 22–26 (1991)
3. Boldo, S., Daumas, M.: Properties of the subtraction valid for any floating point system. In: 7th International Workshop on Formal Methods for Industrial Critical Systems, pp. 137–149 (2002)
4. Boldo, S., Daumas, M.: Representable correcting terms for possibly underflowing floating point operations. In: Bajard, J.-C., Schulte, M. (eds.) 16th Symposium on Computer Arithmetic, pp. 79–86 (2003)
5. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points. In: Principles of Programming Languages 4, pp. 238–252. ACM Press, New York (1977)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fine-grained floating-point precision analysis;The International Journal of High Performance Computing Applications;2016-06-15
2. Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM;Static Analysis;2016
3. Elimination of Square Roots and Divisions by Partial Inlining;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014
4. Automatic Repair of Overflowing Expressions with Abstract Interpretation;Electronic Proceedings in Theoretical Computer Science;2013-09-19
5. Dynamic floating-point cancellation detection;Parallel Computing;2013-03