Mapping a functional notation for parallel programs onto hypercubes

DOI10.1016/0020-0190(94)00213-IMaRDI QIDQ674270zbMATH OpenOpenAlexFDO

Authors Jacob Kornerup

Publication date 28 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(94)00213-i

zbMATH Keywords

Functional programmingHypercubesParallel algorithmsPrefix sumProgram derivationProgramming calculi

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Recommendations

• Parallel programs description with powerlist, parlist and plist
• Automated reasoning about parallel algorithms using powerlists
• Data-Distributions in PowerList Theory
• A formalization of powerlist algebra in ACL2
• Data parallel geometric operations on lists

Cites work

• scientific article; zbMATH DE number 52113 (Why is no real title available?)
• Parallel Prefix Computation
• Pipelined parallel prefix computations, and sorting on a pipelined hypercube
• Transformational programming and the paragraph problem

Cited in

(5)

• Odd-even sort in powerlists
• Multidimensional data structures for parallel programs description
• Automated reasoning about parallel algorithms using powerlists
• Parallel programs description with powerlist, parlist and plist
• A formalization of powerlist algebra in ACL2

Describes a project that uses

Uses Software

• ML
• Miranda

This page was built for publication: Mapping a functional notation for parallel programs onto hypercubes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674270)