Program analysis as constraint solving.

Sumit Gulwani Saurabh Srivastava Ramarathnam Venkatesan

Published in: PLDI (2008)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint satisfaction
constraint programming
constraint solver
finite domain
constraint solvers
upper bound
logic programs
search strategies
global constraints
combinatorial problems