Schema-Guided Synthesis of Imperative Programs by Constraint Solving.

Published in: LOPSTR (2004)

Keyphrases

constraint solving
imperative programs
constraint propagation
constraint logic programming
constraint satisfaction
constraint satisfaction problems
constraint solver
data model
dynamic logic
constraint programming
expert systems
temporal constraints
constraint solvers
dynamic programming