A cost calculus for parallel functional programming
From MaRDI portal
Recommendations
Cited in
(16)- Deriving parallel programs from specifications using cost information
- scientific article; zbMATH DE number 1760064 (Why is no real title available?)
- TOWARDS PARALLEL PROGRAMMING BY TRANSFORMATION: THE FAN SKELETON FRAMEWORK*
- Lambda-calculi for (strict) parallel functions
- scientific article; zbMATH DE number 2036338 (Why is no real title available?)
- A calculus for parallel computations over multidimensional dense arrays
- Costing stepwise refinements of parallel programs
- Skeleton-based parallel programming: functional and parallel semantics in a single shot
- Space profiling for parallel functional programs
- Complexity bounds for container functors and comonads
- PROGRAM-BASED LOCALITY MEASURES FOR SCIENTIFIC COMPUTING
- scientific article; zbMATH DE number 1670812 (Why is no real title available?)
- Dag-calculus: a calculus for parallel computation
- scientific article; zbMATH DE number 2090576 (Why is no real title available?)
- Compilation of a specialized functional language for massively parallel computers
- Space profiling for parallel functional programs
This page was built for publication: A cost calculus for parallel functional programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1898198)