• DocumentCode
    378520
  • Title

    Higher order function synthesis through proof planning

  • Author

    Cook, Andrew ; Ireland, Andrew ; Michaelson, Greg

  • Author_Institution
    Dept. of Comput. & Electr. Eng., Heriot-Watt Univ., Edinburgh, UK
  • fYear
    2001
  • fDate
    26-29 Nov. 2001
  • Firstpage
    307
  • Lastpage
    310
  • 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.
  • Keywords
    functional programming; parallelising compilers; SML; algorithmic skeletons; automatic parallelisation of programs; functional programs; higher order function; higher order function synthesis; higher order functions; parallelising compiler; proof planning; Automatic control; Concurrent computing; Functional programming; Parallel processing; Parallel programming; Program processors; Skeleton;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on
  • ISSN
    1938-4300
  • Print_ISBN
    0-7695-1426-X
  • Type

    conf

  • DOI
    10.1109/ASE.2001.989817
  • Filename
    989817
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=378520