Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques.

Olivier Ponsini Claude Michel Michel Rueher

Published in: CP (2012)

Keyphrases

constraint programming
abstract interpretation
combinatorial problems
constraint satisfaction problems
constraint satisfaction
search strategies
model checking
global constraints
termination analysis
database
static analysis
finite domain