Exploiting Shape in Parallel Programming (1996)

Cached

Download Links

by C. Barry Jay , C. Barry , Jay David , David G. Clarke , Jenny J. Edwards
Citations:5 - 2 self

Active Bibliography

134 Models and Languages for Parallel Computation – David B. Skillicorn, Domenico Talia - 1998
Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion – Susumu Nishimura, Atsushi Ohori - 1993
1 Mapping Adl to the Bird-Meertens Formalism – Brad Alexander - 1994
3 A Calculational Approach to Flattening Nested Data Parallelism in Functional Languages – Gabriele Keller, Martin Simons - 1996
3 An equational object-oriented data model and its data-parallel query language. Pages 1-17 of – Susumu Nishimura, Atsushi Ohori, Keishi Tajima - 1996
6 Practical Parallel Divide-and-Conquer Algorithms – Jonathan Hardwick - 1997
8 Towards a Scalable Parallel Object Database - The Bulk Synchronous Parallel Approach – K. Ronald Sujithan - 1996
58 A cost calculus for parallel functional programming – D. B. Skillicorn - 1995
3 Shaping Object-Oriented Programs – C. Barry Jay, James Noble - 1996
60 A Semantics for Shape – C. Barry Jay - 1995
1 Typed Intermediate Languages for Shape-Analysis – G. Bellè, E. Moggi - 1997
2 The FISh language definition – C. B. Jay - 1998
20 Shape Checking of Array Programs – C. Barry Jay, Milan Sekanina - 1997
4 Monads, Shapely Functors and Traversals – E. Moggi, G. Bellè, C. B. Jay - 1999
6 Shape Analysis for Parallel Computing – C. Barry Jay - 1995
17 A Cost Analysis for a Higher-order Parallel Programming Model – Roopa Rangaswami, Sister Kripa - 1996
1 Functors, Types and Shapes – Barry Jay, Eugenio Moggi - 1998
1 Experiments with Generic Visitors – Jens Palsberg, C. Barry Jay, J. Noble
2 Constructive membership predicates as index – James Caldwell