Reasearch Directions in High-Level Parallel Programming Languages [electronic resource] : Mont Saint-Michel, France, June 17–19, 1991 Proceedings / edited by Jean Pierre Banâtre, Daniel Métayer.

Contributor(s): Banâtre, Jean Pierre [editor.] | Métayer, Daniel [editor.] | SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 574Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1992Description: VIII, 392 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540467625Subject(s): Computer science | Software engineering | Computer Science | Programming Languages, Compilers, Interpreters | Programming Techniques | Software EngineeringAdditional physical formats: Printed edition:: No titleDDC classification: 005.13 LOC classification: QA76.7-76.73QA76.76.C65Online resources: Click here to access online
Contents:
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 array revisited -- 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.
In: Springer eBooksSummary: 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.
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK5889

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 array revisited -- 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.

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.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha