Login / Signup
Control-flow refinement and progress invariants for bound analysis.
Sumit Gulwani
Sagar Jain
Eric Koskinen
Published in:
PLDI (2009)
Keyphrases
</>
control flow
data flow
lower bound
data sets
object oriented
distributed systems