Ebook: 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.

---

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.

---

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.
Content:
Front Matter....Pages -
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
Back Matter....Pages -

---

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.
Content:
Front Matter....Pages -
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
Back Matter....Pages -
....