Control-flow refinement and progress invariants for bound analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sumit Gulwani, Sagar Jain, Eric Koskinen. Control-flow refinement and progress invariants for bound analysis. In Michael Hind, Amer Diwan, editors, Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009. pages 375-385, ACM, 2009. [doi]

This author has not been identified. Look up 'Sumit Gulwani' in GoogleThis author has not been identified. Look up 'Sagar Jain' in GoogleThis author has not been identified. Look up 'Eric Koskinen' in Google

runs on WebDSL