Skeleton-based parallel programming: functional and parallel semantics in a single shot

DOI10.1016/J.CL.2006.07.004MaRDI QIDQ875962zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Marco Aldinucci, Marco Danelutto

Publication date 16 April 2007

Published in Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cl.2006.07.004

zbMATH Keywords

labeled transition systemsalgorithmical skeletonsfunctional semanticsparallel semanticsstructured parallel programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• Skeleton-based parallel programming
• Formal semantics applied to the implementation of a skeleton-based parallel programming library
• scientific article; zbMATH DE number 1760061
• scientific article; zbMATH DE number 2189117
• TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK*
• Semi-explicit parallel programming in a purely functional style: GpH
• Parallelizing functional programs by generalization
• scientific article; zbMATH DE number 1088022

Cites work

• scientific article; zbMATH DE number 1691457 (Why is no real title available?)
• scientific article; zbMATH DE number 43723 (Why is no real title available?)
• scientific article; zbMATH DE number 2009834 (Why is no real title available?)
• scientific article; zbMATH DE number 2090644 (Why is no real title available?)
• scientific article; zbMATH DE number 2102053 (Why is no real title available?)
• A calculus for parallel computations over multidimensional dense arrays
• A cost calculus for parallel functional programming
• Can programming be liberated from the von Neumann style?
• Compilation of a specialized functional language for massively parallel computers
• From patterns to frameworks to parallel programs.
• Grid computing: The new frontiers of high performance computing.
• STATIC PERFORMANCE PREDICTION OF SKELETAL PARALLEL PROGRAMS
• Skeletons for parallel image processing: An overview of the SKIPPER project.
• TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK*
• The programming model of ASSIST, an environment for parallel and distributed portable applications.

Cited in

(3)

• Computational Science – ICCS 2005
• Formal semantics applied to the implementation of a skeleton-based parallel programming library
• scientific article; zbMATH DE number 2087149 (Why is no real title available?)

Describes a project that uses

Uses Software

• BSMLlib
• Eden
• SKIPPER
• eSkel

This page was built for publication: Skeleton-based parallel programming: functional and parallel semantics in a single shot

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