Research Directions in High-Level Parallel Programming Languages

This volume contains most of the papers presented at a workshop on research directions in high-level parallel programming languages. New formalisms for describing parallel computations are discussed.

Inhalt
A perspective on parallel program design.- UNITY to UC: A case study in the derivation of parallel programs.- Reasoning about synchronic groups.- An industrial experience in the use of UNITY.- On the UNITY design decisions.- Flexible program structures for concurrent programming.- Current research on Linda.- Expressing fine-grained parallelism using concurrent data structures.- Persistent Linda: Linda + transactions + query processing.- Parallel logic programming using the Linda model of computation.- Lucinda A polymorphic Linda.- A rationale for programming with Ease.- Intermediate uniformly distributed tuple space on transputer meshes.- Mixing concurrency abstractions and classes.- Coordination applications of Linda.- The chemical reaction model.- to Gamma.- Parallel programming with bags.- Implementation of Gamma on the connection machine.- Parallel programming with pure functional languages.- Parallel programming in maude.- Parallel program design.- The palindrome systolic arrayrevisited.- The synthesis of systolic programs.- Synthesizing delay insensitive circuits from verified programs.- A distributed implementation of a task pool.- Invariance and contraction by infinite iterations of relations.- Constructing a parallel sort program on hypercube by using Distributively Callable Procedures.