Research 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 para...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in computer science
574 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Actes d'un séminaire tenu au Mont Saint-Michel du 17 au 19 juin 1991, d'après l écran-titre Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Research directions in high-level parallel programming languages, Mont Saint-Michel, France, June 17-19, 1991, proceedings, J.P. Banâtre, D. Le Métayer, eds, Berlin, Springer-Verlag, 1991, 1 vol. (viii,387 p.), Lecture notes in computer science, 3-540-55160-3 • Research Directions in High-Level Parallel Programming Languages, Texte imprimé, 9783662209745 |
جدول المحتويات:
- 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.