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

Unity

• Jayadev Misra:
  A Perspective on Parallel Program Design. 2-5
  
• 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
  
• Gruia-Catalin Roman, H. Conrad Cunningham:
  Reasoning About Synchronic Groups. 21-38
  
• Antonio Pizzarello:
  An Industrial Experience in the Use of UNITY. 39-49
  
• Beverly A. Sanders:
  On the UNITY Design Decisions. 50-63
  
• Ambuj K. Singh, Ying Liu:
  Flexible Program Structures for Concurrent Programming. 64-71
  

Linda

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

Gamma

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

Parallel Program Design

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

Last update Sun May 19 22:24:39 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page