Login / Signup

Control-flow refinement and progress invariants for bound analysis.

Sumit GulwaniSagar JainEric Koskinen
Published in: PLDI (2009)
Keyphrases
  • control flow
  • data flow
  • lower bound
  • data sets
  • object oriented
  • distributed systems