Asserting the precision of floating-point computations: A simple abstract interpreter

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2305, Issue , 2002, Pages 209-212

  Goubault, Eric ^a   Martel, Matthieu ^a   Putot, Sylvie ^a  

^a CEA LIST   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957059299     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45927-8_15     Document Type: Conference Paper

References (7)

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. E. Goubault. Static analyses of the precision of floating-point operations. In SAS’01, LNCS. Springer-Verlag, 2001.
4. E. Goubault, D. Guilbaud, A. Pacalet, B. Starynkevitch, and F. Vedrine. 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.
6. N. D. Jones and S. S. Muchnick. A flexible approach to interprocedural flow analysis and programs with recursive data structures. In Proceedings of the 9th ACM Symposium on Principles of Programming Languages, 1982.
7. M. Martel. Propagation of rounding errors in finite precision computations: a semantics approach. ESOP, 2002.