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

DOI10.1016/J.CL.2006.07.004zbMath1112.68026DBLPjournals/cl/AldinucciD07OpenAlexW2125637682WikidataQ56766451 ScholiaQ56766451MaRDI QIDQ875962

Marco Danelutto, Marco Aldinucci

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)

Uses Software

• eSkel
• SKIPPER
• Eden
• BSMLlib

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus for parallel computations over multidimensional dense arrays
• From patterns to frameworks to parallel programs.
• Skeletons for parallel image processing: An overview of the SKIPPER project.
• The programming model of ASSIST, an environment for parallel and distributed portable applications.
• A cost calculus for parallel functional programming
• Compilation of a specialized functional language for massively parallel computers
• TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK*
• Can programming be liberated from the von Neumann style?
• STATIC PERFORMANCE PREDICTION OF SKELETAL PARALLEL PROGRAMS

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