Login / Signup

Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses.

Eric Bodden
Published in: WODA (2011)
Keyphrases
  • correctness criterion
  • concurrency control
  • database
  • integrity constraints
  • data mining
  • query processing
  • multidatabase systems