Reasearch Directions in High-Level Parallel Programming Languages: Mont Saint-Michel, France, June 17–19, 1991 Proceedings

This volume contains most of the papers presented at the workshop on research directions in high-level parallel programming languages, held at Mont Saint-Michel, France, in June 1991. The motivation for organizing this workshop came from the emergence of a new class of formalisms for describing parallel computations in the last few years. Linda, Unity, Gamma, and the Cham are the most significant representatives of this new class. Formalisms of this family promote simple but powerful language features for describing data and programs. These proposals appeared in different contexts and were applied in different domains, and the goal of the workshop was to review the status of this new field and compare experiences. The workshop was organized into four main sessions: Unity, Linda, Gamma, and Parallel Program Design. The corresponding parts ofthe volume are introduced respectively by J. Misra, D. Gelernter, D. Le M tayer, and J.-P. Ban tre. A perspective on parallel program design....Pages 1-5 UNITY to UC: A case study in the derivation of parallel programs....Pages 6-20 Reasoning about synchronic groups....Pages 21-38 An industrial experience in the use of UNITY....Pages 39-49 On the UNITY design decisions....Pages 50-63 Flexible program structures for concurrent programming....Pages 64-71 Current research on Linda....Pages 73-76 Expressing fine-grained parallelism using concurrent data structures....Pages 77-92 Persistent Linda: Linda + transactions + query processing....Pages 93-109 Parallel logic programming using the Linda model of computation....Pages 110-125 Lucinda — A polymorphic Linda....Pages 126-146 A rationale for programming with Ease....Pages 147-156 Intermediate uniformly distributed tuple space on transputer meshes....Pages 157-173 Mixing concurrency abstractions and classes....Pages 174-186 Coordination applications of Linda....Pages 187-194 The chemical reaction model....Pages 195-196 Introduction to Gamma....Pages 197-202 Parallel programming with bags....Pages 203-218 Implementation of Gamma on the connection machine....Pages 219-230 Parallel programming with pure functional languages....Pages 231-252 Parallel programming in maude....Pages 253-293 Parallel program design....Pages 295-297 The palindrome systolic array revisited....Pages 298-308 The synthesis of systolic programs....Pages 309-325 Synthesizing delay insensitive circuits from verified programs....Pages 326-337 A distributed implementation of a task pool....Pages 338-348 Invariance and contraction by infinite iterations of relations....Pages 349-373 Constructing a parallel sort program on hypercube by using Distributively Callable Procedures....Pages 374-387

this Volume Contains Most Of The Papers Presented At The Workshop On Research Directions In High-level Parallel Programming Languages, Held At Mont Saint-michel, France, In June 1991. The Motivation For Organizing This Workshop Came From The Emergence Of A New Class Of Formalisms For Describing Parallel Computations In The Last Few Years.
linda, Unity, Gamma, And The Cham Are The Most Significant Representatives Of This New Class. Formalisms Of This Family Promote Simple But Powerful Language Features For Describing Data And Programs. These Proposals Appeared In Different Contexts And Were Applied In Different Domains, And The Goal Of The Workshop Was To Review The Status Of This New Field And Compare Experiences. The Workshop Was Organized Into Four Main Sessions: Unity, Linda, Gamma, And Parallel Program Design. The Corresponding Parts Ofthe Volume Are Introduced Respectively By J. Misra, D. Gelernter, D. Le M Tayer, And J.-p. Ban Tre.