ProActive Parallel Suite: From Active Objects-Skeletons-Components to Environment and Deployment
Euro-Par 2008 Workshops - Parallel Processing
Exceptions for algorithmic skeletons
Euro-Par'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part II
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
Type system for a safe execution of parallel programs in BSML
Proceedings of the fifth international workshop on High-level parallel programming and applications
A formal programming model of Orléans skeleton library
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
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
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
| Hi-index | 0.00 |
This paper addresses the issue of type safe algorithmic skeletons. From a theoretical perspective we contribute by: formally specifying a type system for algorithmic skeletons, and proving that the type system guarantees type safety.From an implementation point of view, we show how it is possible to enforce the type system on an Java based algorithmic skeleton library. The enforcement takes place at the composition of the skeleton program, by typing each skeleton with respect to its construction parameters: sequential functions, and other skeletons.As a result, hierarchical skeleton nesting can be performed safely, since type errors can be detected by the skeleton type system.