Type-and-example-directed program synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter-Michael Osera, Steve Zdancewic. Type-and-example-directed program synthesis. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 619-630, ACM, 2015. [doi]

This author has not been identified. Look up 'Peter-Michael Osera' in GoogleThis author has not been identified. Look up 'Steve Zdancewic' in Google

runs on WebDSL