High level programming for distributed computing
- 1 June 1979
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 22 (6) , 353-368
- https://doi.org/10.1145/359114.359127
Abstract
Programming for distributed and other loosely coupled systems is a problem of growing interest. This paper describes an approach to distributed computing at the level of general purpose programming languages. Based on primitive notions of module, message, and transaction key, the methodology is shown to be independent of particular languages and machines. It appears to be useful for programming a wide range of tasks. This is part of an ambitious program of development in advanced programming languages, and relations with other aspects of the project are also discussed.Keywords
This publication has 22 references indexed in Scilit:
- Communicating sequential processesCommunications of the ACM, 1978
- Abstraction mechanisms in CLUCommunications of the ACM, 1977
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- The notions of consistency and predicate locks in a database systemCommunications of the ACM, 1976
- Verifying properties of parallel programsCommunications of the ACM, 1976
- Proving Properties of Complex Data StructuresJournal of the ACM, 1976
- Abstract types defined as classes of variablesACM SIGMOD Record, 1976
- New Programming Languages for Artificial Intelligence ResearchACM Computing Surveys, 1974
- A network graphics protocolACM SIGGRAPH Computer Graphics, 1974
- An ALGOL-based associative languageCommunications of the ACM, 1969