An Application of Abstract Interpretation to Floating Point Arithmetic. - Yamine Aït Ameur; Patrice Cros; Juan José Falcón; Alicia Gómez (WSA, 1992)