Research Directions in High-Level Parallel Programming Languages 1991: Mont Saint-Michel, France

Jean-Pierre Banâtre, Daniel Le Métayer (Eds.): Research Directions in High-Level Parallel Programming Languages, Mont Saint-Michel, France, June 17-19, 1991, Procedings. Lecture Notes in Computer Science 574 Springer 1992, ISBN 3-540-55160-3 BibTeX

@proceedings{DBLP:conf/hlppp/1991,
  editor    = {Jean-Pierre Ban{\^a}tre and
               Daniel Le M{\'e}tayer},
  title     = {Research Directions in High-Level Parallel Programming Languages,
               Mont Saint-Michel, France, June 17-19, 1991, Procedings},
  booktitle = {Research Directions in High-Level Parallel Programming Languages},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {574},
  year      = {1992},
  isbn      = {3-540-55160-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Unity

Jayadev Misra: A Perspective on Parallel Program Design. 2-5 BibTeX
Indranil Chakravarty, Michael F. Kleyn, Thomas Y. C. Woo, Rajive Bagrodia, Vernon Austel: UNITY to UC: A Case Study in the Derivation of Parallel Programs. 6-20 BibTeX
Gruia-Catalin Roman, H. Conrad Cunningham: Reasoning About Synchronic Groups. 21-38 BibTeX
Antonio Pizzarello: An Industrial Experience in the Use of UNITY. 39-49 BibTeX
Beverly A. Sanders: On the UNITY Design Decisions. 50-63 BibTeX
Ambuj K. Singh, Ying Liu: Flexible Program Structures for Concurrent Programming. 64-71 BibTeX

Linda

David Gelernter: Current Research on Linda. 74-76 BibTeX
Suresh Jagannathan: Expressing Fine-Grained Parallelism Using Concurrent Data Structures. 77-92 BibTeX
Brian G. Anderson, Dennis Shasha: Persistant Linda: Linda + Transactions + Query Processing. 93-109 BibTeX
Paolo Ciancarini: Parallel Logic Programming Using the Linda Model of Computation. 110-125 BibTeX
Paul Butcher, Hussein Zedan: Lucinda - A Polymorphic Linda. 126-146 BibTeX
Steven Ericsson Zenith: A Rationale for Programming with Ease. 147-156 BibTeX
Craig Faasen: Intermediate Uniformly Distributed Tuple Space on Transputer Meshes. 157-173 BibTeX
Julian A. Padget, Peter A. Broadbery, David Hutchinson: Mixing Concurrency Abstractions and Classes. 174-186 BibTeX
Susanne Hupfer, David Kaminsky, Nicholas Carriero, David Gelernter: Coordination Applications of Linda. 187-194 BibTeX

Gamma

Daniel Le Métayer: The Chemical Reaction Model. 196 BibTeX
Jean-Pierre Banâtre, Daniel Le Métayer: Introduction to Gamma. 197-202 BibTeX
Louis Mussat: Parallel Programming with Bags. 203-218 BibTeX
Christian Creveuil: Implementation of Gamma on the Connection Machine. 219-230 BibTeX
Rachel Harrison: Parallel Programming with Pure Functional Languages. 231-252 BibTeX
José Meseguer, Timothy C. Winkler: Parallel Programmming in Maude. 253-293 BibTeX

Parallel Program Design

Jean-Pierre Banâtre: Parallel Program Design. 296-297 BibTeX
Hervé Le Verge, Patrice Quinton: The Palindrome Systolic Array Revisited. 298-308 BibTeX
Michael Barnett, Christian Lengauer: The Synthesis of Systolic Programs. 309-325 BibTeX
Henrik Hulgaard, Per H. Christensen, Jørgen Staunstrup: Synthesizing Delay Insensitive Circuits from Verified Programs. 326-337 BibTeX
H. Peter Hofstee, Johan J. Lukkien, Jan L. A. van de Snepscheut: A Distributed Implementation of a Task Pool. 338-348 BibTeX
Michel Sintzoff: Invariance and Contraction by Infinite Iterations of Relations. 349-373 BibTeX
Daniel Herman, Laurent Trilling: Constructing a Parallel Sort Program on Hypercube by Using Distributively Callable Procedures. 374-385 BibTeX