Higher Order Function Synthesis Through Proof Planning - researchr publication related

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]

The following publications are possibly variants of this publication:

Discovering applications of higher order functions through proof planningAndrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife. fac, 17(1):38-57, 2005. [doi]

runs on WebDSL