Sign in

Compositional may-must program analysis: unleashing the power of alternation.

Patrice GodefroidAditya V. NoriSriram K. RajamaniSaiDeep Tetali
Published in: POPL (2010)
Keyphrases
  • power consumption
  • special case
  • databases
  • information retrieval
  • decision trees
  • relational databases
  • multiresolution
  • hidden markov models