Sciweavers

SAS
1992
Springer

An Application of Abstract Interpretation to Floating Point Arithmetic

14 years 2 months ago
An Application of Abstract Interpretation to Floating Point Arithmetic
Interpretation to Floating point Arithmetic Yamine A
Yamine Aït Ameur, Patrice Cros, J.-J. Falcon,
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where SAS
Authors Yamine Aït Ameur, Patrice Cros, J.-J. Falcon, A. Gomez
Comments (0)