Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
A cost calculus for parallel functional programming
Journal of Parallel and Distributed Computing
Structured development of parallel programs
Structured development of parallel programs
SkIE: a heterogeneous environment for HPC applications
Parallel Computing - Special Anniversary issue
Communications of the ACM
Optimization Rules for Programming with Collective Operations
IPPS '99/SPDP '99 Proceedings of the 13th International Symposium on Parallel Processing and the 10th Symposium on Parallel and Distributed Processing
Parallel Programming Using Skeleton Functions
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Co-ordinating Heterogeneous Parallel Computation
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I
From patterns to frameworks to parallel programs
Parallel Computing - Special issue: Advanced environments for parallel and distributed computing
Skeletons for parallel image processing: an overview of the SKIPPER project
Parallel Computing - Special issue: Advanced environments for parallel and distributed computing
The programming model of ASSIST, an environment for parallel and distributed portable applications
Parallel Computing - Special issue: Advanced environments for parallel and distributed computing
An advanced environment supporting structured parallel programming in Java
Future Generation Computer Systems - Tools for program development and analysis
Compilation of a specialized functional language for massively parallel computers
Journal of Functional Programming
A parallel virtual machine for bulk synchronous parallel ML
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Computer Languages, Systems and Structures
Structured parallel programming with deterministic patterns
HotPar'10 Proceedings of the 2nd USENIX conference on Hot topics in parallelism
A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers
Software—Practice & Experience - Focus on Selected PhD Literature Reviews in the Practical Aspects of Software Technology
A formal programming model of Orléans skeleton library
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Intel's Array Building Blocks: A retargetable, dynamic compiler and embedded language
CGO '11 Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization
Verification of a heat diffusion simulation written with orléans skeleton library
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II
Management in distributed systems: a semi-formal approach
Euro-Par'07 Proceedings of the 13th international Euro-Par conference on Parallel Processing
A verified library of algorithmic skeletons on evenly distributed arrays
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
Structured data access annotations for massively parallel computations
Euro-Par'12 Proceedings of the 18th international conference on Parallel processing workshops
Hi-index | 0.00 |
Semantics of skeleton-based parallel programming languages comes usually as two distinct items: a functional semantics, modeling the function computed by the skeleton program, and a parallel semantics describing the ways used to exploit parallelism during the execution of the skeleton program. The former is usually expressed using some kind of semantic formalism, while the latter is almost always given in an informal way. Such a separation of functional and parallel semantics seriously impairs the possibility of programmers to use the semantic tools to prove properties of programs. In this work, we show how a formal semantic framework can be set up that handles both functional and parallel aspects of skeleton-based parallel programs. The framework is based on a labeled transition system. We show how different properties related to skeleton programs can be proved using such a system. We use Lithium, a skeleton-based full Java parallel programming environment, as the case study.