Higher Order Function Synthesis Through Proof Planning

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Andrew Cook Articles by Andrew Ireland Articles by Greg Michaelson

16th IEEE International Conference on Automated Software Engineering (ASE'01)

San Diego, California

November 26-November 29

ISBN: 0-7695-1426-X

	ASCII Text	x
	Andrew Cook, Andrew Ireland, Greg Michaelson, "Higher Order Function Synthesis Through Proof Planning," Automated Software Engineering, International Conference on, pp. 307, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001.

	BibTex	x
	@article{ 10.1109/ASE.2001.989817, author = {Andrew Cook and Andrew Ireland and Greg Michaelson}, title = {Higher Order Function Synthesis Through Proof Planning}, journal ={Automated Software Engineering, International Conference on}, volume = {0}, year = {2001}, isbn = {0-7695-1426-X}, pages = {307}, doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989817}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Automated Software Engineering, International Conference on TI - Higher Order Function Synthesis Through Proof Planning SN - 0-7695-1426-X SP EP A1 - Andrew Cook, A1 - Andrew Ireland, A1 - Greg Michaelson, PY - 2001 VL - 0 JA - Automated Software Engineering, International Conference on ER -

Andrew Cook, Heriot-Watt University

Andrew Ireland, Heriot-Watt University

Greg Michaelson, Heriot-Watt University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2001.989817

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.

Citation:

Andrew Cook, Andrew Ireland, Greg Michaelson, "Higher Order Function Synthesis Through Proof Planning," ase, pp.307, 16th IEEE International Conference on Automated Software Engineering (ASE'01), 2001

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.