Login / Signup

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor).

Manuel V. HermenegildoGermán PueblaFrancisco BuenoPedro López-García
Published in: Sci. Comput. Program. (2005)
Keyphrases
  • relational databases
  • abstract interpretation
  • model checking
  • database
  • termination analysis
  • static analysis
  • high level
  • active databases
  • query evaluation
  • active rules