Back to Results
First PageMeta Content
Computer arithmetic / Abstract interpretation / Interval arithmetic / Rounding / Floating point / Affine arithmetic / Interval / Function / Limit of a function / NaN / Fixed-point arithmetic / Machine epsilon


Static Analysis of Finite Precision Computations Eric Goubault and Sylvie Putot CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point courrier 94, Gif-sur-Yvette, FFrance, Firstname.Las
Add to Reading List

Document Date: 2010-11-15 04:17:50

Open Document

File Size: 194,31 KB

Share Result on Facebook