Static analysis of the numerical stability of loops

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

Volumn 2477, Issue , 2002, Pages 133-150

  Martel, Matthieu ^a  

^a DIF   (France)

Author keywords

Abstract interpretation; Numerical precision; Relational analysis; Semantics of floating point numbers

Indexed keywords

ERRORS; FUNCTIONS; SEMANTICS; STABILITY; STATIC ANALYSIS;

ABSTRACT INTERPRETATIONS; FLOATING POINT NUMBERS; FLOATING-POINT COMPUTATION; GLOBAL STABILITY; NONLINEAR FUNCTIONS; NUMERICAL ERRORS; NUMERICAL PRECISION; RELATIONAL ANALYSIS;

DIGITAL ARITHMETIC;

EID: 84958780178     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45789-5_12     Document Type: Conference Paper

References (16)

1. K. T. Alligood, T. D. Sauer, and J. A. Yorke. Chaos, an Introduction to Dynamical Systems. Springer-Verlag, 1996.
2. ANSI/IEEE. IEEE Standard for Binary Floating-point Arithmetic, std 754-1985 edition, 1985.
3. M. F. Barnsley. Fractals Everywhere, Second Edition. Academic Press, 1993.
4. A. F. Beardon. Iteration of Rational Functions. Number 132 in Graduate Texts in Mathematics. Springer-Verlag, 1991.
5. F. Chatelin. Valeurs propres des matrices. Masson, 1988.
6. P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Symbolic Computation, 2(4):511–547, 1992.
7. D. Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys, 23(1), 1991.
8. G. H. Golub and C. F. Van Loan. Matrix Computations. The Johns Hopkins University Press, 2d edition, 1990.
9. E. Goubault. Static analyses of the precision of floating-point operations. In Static Analysis Symposium, SAS’01, number 2126 in Lecture Notes in Computer Science. Springer-Verlag, 2001.
10. E. Goubault, M. Martel, and S. Putot. Asserting the precision of floating-point computations: a simple abstract interpreter. In European Symposium on Programming, ESOP’02, number 2305 in Lecture Notes in Computer Science. Springer-Verlag, 2002.
11. D. Knuth. The Art of Computer Programming - Seminumerical Algorithms. Addison Wesley, 1973.
12. P. Langlois and F. Nativel. Improving automatic reduction of round-off errors. In IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, volume 2, 1997.
13. M. Martel. Propagation of roundoff errors in finite precision computations: A semantics approach. In European Symposium on Programming, ESOP’02, number 2305 in Lecture Notes in Computer Science. Springer-Verlag, 2002.
14. F. C. Moon. Chaotic and Fractal Dynamics. Wiley-Interscience, 1992.
15. W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery. Numerical Recipes in C. Cambridge University Press, 1992.
16. J. Vignes. A survey of the CESTAC method. In Proceedings of Real Numbers and Computer Conference, 1996.