Login / Signup

Reduction and Quantifier Elimination Techniques for Program Validation.

Jean-Paul BodeveixMamoun Filali
Published in: Formal Methods Syst. Des. (2002)
Keyphrases
  • quantifier elimination
  • constraint propagation
  • functional programming
  • presburger arithmetic
  • constraint databases
  • first order logic
  • cardinality constraints
  • database
  • data streams
  • execution model