Login / Signup
Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs.
Olivier Ponsini
Claude Michel
Michel Rueher
Published in:
ICST (2012)
Keyphrases
</>
constraint programming
floating point
abstract interpretation
static analysis
fixed point
combinatorial problems
constraint satisfaction problems
constraint propagation
termination analysis
data mining
computational complexity
object oriented
reasoning engine