Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs.

Olivier Ponsini, Claude Michel, Michel Rueher

Browse the full ICST paper archive.