An Application of Abstract Interpretation to Floating Point Arithmetic.

Yamine At Ameur, Patrice Cros, Juan Jos Falcn, Alicia Gmez

Browse the full SAS paper archive.