An Application of Abstract Interpretation to Floating Point Arithmetic

14 years 4 months ago

Interpretation to Floating point Arithmetic Yamine A

Yamine Aït Ameur, Patrice Cros, J.-J. Falcon,

Arithmetic Expressions Plan | Floating Point Arithmetic | Formal Methods | SAS 1992 | Toulouse Cedex Bordeaux |

claim paper

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)