Higher Order Function Synthesis Through Proof Planning

  title={Higher Order Function Synthesis Through Proof Planning},
  author={Andrew Cook and Andrew Ireland and Greg J. Michaelson},
The close association between higher order functions and algorithmic skeletons is a promising source of automatic parallelisation ofprograms. An approach to automatically synthesizing higher order functions from functional programs through proof planning is presented. Our work has been conducted within the context of a parallelising compiler for SML, with… CONTINUE READING