Higher Order Function Synthesis Through Proof Planning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Andrew Cook, Andrew Ireland, Greg Michaelson. Higher Order Function Synthesis Through Proof Planning. In 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA. pages 307-310, IEEE Computer Society, 2001. [doi]

This author has not been identified. Look up 'Andrew Cook' in GoogleThis author has not been identified. Look up 'Andrew Ireland' in GoogleThis author has not been identified. Look up 'Greg Michaelson' in Google

runs on WebDSL