"Static Analysis of the Numerical Stability of Loops."

Matthieu Martel (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics