kirancodes.me
To Proof Maintenance & Beyond!
ASE 2001

Higher Order Function Synthesis Through Proof Planning

Andrew Cook, Andrew Ireland, Greg Michaelson

DOI 10.1109/ase.2001.989817dblp

Abstract

The close association between higher order functions and algorithmic skeletons is a promising source of automatic parallelisation of programs. 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 the objective of exploiting parallelism latent in potential higher order function use in programs.

BibTeX
@inproceedings{Cook-al:ASE01,
  author    = {Andrew Cook and
               Andrew Ireland and
               Greg Michaelson},
  title     = {Higher Order Function Synthesis Through Proof Planning},
  booktitle = {ASE},
  pages     = {307--310},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}

Related papers