@inproceedings{gou-put-06-aa-static,
  author = {Goubault, Eric and Putot, Sylvie},
  title = {Static Analysis of Numerical Algorithms},
  booktitle = {Proc. International Static Analysis Symposium (SAS 2006)},
  year = 2006,
  publisher = {Springer},
  pages = {18--34},
  isbn = {978-3-540-37758-0},
  comment = {New method based on AA},
  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.}
}