Formal derivation of SIMD parallelism from non-linear recursive specifications
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 136-147
- https://doi.org/10.1007/3-540-58430-7_13
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Formal derivation of SIMD parallelism from non-linear recursive specificationsPublished by Springer Nature ,1994
- Parallel programming using skeleton functionsPublished by Springer Nature ,1993
- A Higher-Order Approach to Parallel AlgorithmsThe Computer Journal, 1992
- Architecture-independent parallel computationComputer, 1990
- Domain Morphisms: A New Construct for Parallel Programming and Formalizing Program OptimizationPublished by Defense Technical Information Center (DTIC) ,1990
- Specification and Transformation of ProgramsPublished by Springer Nature ,1990
- Compiling parallel programs by optimizing performanceThe Journal of Supercomputing, 1988
- Algorithmic Language and Program DevelopmentPublished by Springer Nature ,1982