Program Analysis Using Quantifier-Elimination Heuristics - (Extended Abstract).

Published in: TAMC (2012)

Keyphrases

extended abstract
quantifier elimination
constraint propagation
presburger arithmetic
functional programming
first order logic
constraint databases
cardinality constraints
database
database systems
object oriented
functional dependencies
constraint programming
transitive closure