Microprocessing and Microprogramming
Volume 41, Issues 8–9, April 1996, Pages 571-588
From transformations to methodology in parallel program development: A case study
References (32)
- et al.
A cost calculus for parallel functional programming
Journal of Parallel and Distributed Computing
(1995) Deriving parallel programs from specifications using cost information
Science of Computer Programming
(1993)The design of a standard message passing interface for distributed memory concurrent computers
Parallel Computing
(1994)- et al.
Efficient compilation of structured parallel programs for distributed memory MIMD machines
- et al.
Solving optimization problems with catamorphisms
Lectures on constructive functional programming
- W. Cai and D. Skillicorn. Calculating recurrences using the Bird-Meertens formalism. Parallel Processing Letters. To...
- et al.
Mapping of uniform dependence algorithm onto fixed size processor arrays
- et al.
A family of data-parallel derivations
Algorithmic skeletons: A structured approach to the management of parallel computation
List homomorphic parallel algorithms for bracket matching
Parallel programming using skeleton functions
Predicate Calculus and Program Semantics
Formal derivation of SIMD parallelism >from non-linear recursive specifications
Program transformations and skeletons: formal derivation of parallel programs
Upwards and downwards accumulations on trees
Cited by (4)
Higher-order components for grid programming: Making grids more usable
2009, Higher-Order Components for Grid Programming: Making Grids More UsableFormal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms
1997, ACM Transactions on Programming Languages and SystemsThe Static Parallelization of Loops and Recursions
1997, Journal of Supercomputing
Copyright © 1996 Published by Elsevier B.V.