@entry{gou-put-06-aa-static, author = {E Goubault and S Putot}, title = {Static analysis of numerical algorithms}, journal = {International Static Analysis Symposium,}, volume = {}, number = {}, pages = {}, year = 2006, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://link.springer.com/chapter/10.1007/11823230_3}}}, quotes = {... We present here a domain using affine arithmetic for the floating-point computation. ... In section 2.1, we present briefly the principles of affine arithmetic for real numbers computations. ...} }