Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter-Reference-Cited by-同舟云学术

Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter

Published:2002 Issue: Volume: Page:209-212
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Goubault Eric,Martel Matthieu,Putot Sylvie

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45927-8_15

Reference7 articles.

1. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points. Principles of Programming Languages 4, pages 238–252, 1977.

2. D. Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23(1), 1991.

3. Lect Notes Comput Sci;E. Goubault,2001

4. E. Goubault, D. Guilbaud, A. Pacalet, B. Starynkévitch, and F. Védrine. A simple abstract interpreter for threat detection and test case generation. In Proceedings of WAPATV’01 (ICSE’01), May 2001.

5. G. Hanrot, V. Lefevre, F. Rouillier, and P. Zimmermann. The MPFR library. Institut de Recherche en Informatique et Automatique, 2001.

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT;Computer Aided Verification;2017

2. Fine-grained floating-point precision analysis;The International Journal of High Performance Computing Applications;2016-06-15

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. Theories, solvers and static analysis by abstract interpretation;Journal of the ACM;2012-12

5. FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing;Mathematics in Computer Science;2011-11-15