@inbook{04a246c324ed43f6b2d0a12ba0010d03,
title = "Static analysis-based validation of floating-point computations",
abstract = "Finite precision computations can severely affect the accuracy of computed solutions. We present a static analysis, and a prototype implementing this analysis for C codes, for studying the propagation of rounding errors occurring at every intermediary step in floating-point computations. The analysis presented relies on abstract interpretation by interval values and series of interval error terms. Considering all errors possibly introduced by floating-point numbers, it aims at identifying the operations responsible for the main losses of accuracy. We believe this approach is for now specially appropriate for numerically simple programs which results must be verified, such as critical instrumentation software.",
author = "Sylvie Putot and Eric Goubault and Matthieu Martel",
year = "2004",
month = jan,
day = "1",
doi = "10.1007/978-3-540-24738-8\_18",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "306--313",
editor = "Rene Alt and Andreas Frommer and \{Baker Kearfott\}, R. and Wolfram Luther",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}