Automatically Generating Loop Invariants Using Quantifier Elimination.

Published in: Deduction and Applications (2005)

Keyphrases

automatically generating
quantifier elimination
constraint propagation
presburger arithmetic
functional programming
cardinality constraints
constraint databases
first order logic
automatically generated
constraint satisfaction problems
natural language
constraint satisfaction
query evaluation