Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs | IEEE Conference Publication | IEEE Xplore