@inproceedings{df665b2c0adc4a019db10b791af6e3ca,
title = "Static analysis of numerical algorithms",
abstract = "We present a new numerical abstract domain for static analysis of the errors introduced by the approximation by floating-point arithmetic of real numbers computation, by abstract interpretation [3]. This work extends a former domain [4,8], with an implicitly relational domain for the approximation of the floating-point values of variables, based on affine arithmetic [2]. It allows us to analyze non trivial numerical computations, that no other abstract domain we know of can analyze with such precise results, such as linear recursive filters of different orders, Newton methods for solving non-linear equations, polynomial iterations, conjugate gradient algorithms.",
author = "Eric Goubault and Sylvie Putot",
year = "2006",
month = jan,
day = "1",
doi = "10.1007/11823230\_3",
language = "English",
isbn = "3540377565",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "18--34",
booktitle = "Static Analysis - 13th International Symposium, SAS 2006, Proceedings",
note = "13th International Symposium on Static Analysis, SAS 2006 ; Conference date: 29-08-2006 Through 31-08-2006",
}