Scaling abstraction refinement via pruning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Percy Liang, Mayur Naik. Scaling abstraction refinement via pruning. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 590-601, ACM, 2011. [doi]

This author has not been identified. Look up 'Percy Liang' in GoogleThis author has not been identified. Look up 'Mayur Naik' in Google

runs on WebDSL