Concurrent programming in the shared dataspace paradigm

  • Authors:

  • H. Conrad Cunningham

  • Affiliations:

  • Washington University, Saint Louis, Missouri

  • Venue:
  • CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
  • Year:
  • 1989

Quantified Score

Hi-index 0.00

Visualization

Abstract

This research is concerned with the study of concurrent programming languages which employ the shared dataspace model [4], i.e., languages in which the primary means for communication among the concurrent components is a common, content-addressable data structure called a shared dataspace. Such languages can bring together a variety of programming styles (e.g., synchronous and asynchronous, static and dynamic) within a unified computational framework. We are investigating appropriate language constructs, programming techniques, formal models, programming logics, and proof techniques. The main vehicle for this investigation is a language called Swarm [3].