Issues in the design of a parallel object-oriented language
- 1 March 1989
- journal article
- Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing
- Vol. 1 (1), 366-411
- https://doi.org/10.1007/bf01887214
Abstract
This paper discusses the considerations that have played a role in the design of the language POOL2. This language integrates the structuring techniques of object-oriented programming with mechanisms for expressing parallelism. We introduce the basic principles of object-oriented programming and its significance for program development methodologies. Several approaches for integrating objects and parallelism are compared and arguments for the choices made in POOL2 are presented. We also explain why inheritance is not yet included in POOL2. A brief overview of the research in formal aspects of POOL is given. Finally we indicate some directions for future developments.Keywords
This publication has 43 references indexed in Scilit:
- Eiffel: programming for reusability and extendibilityACM SIGPLAN Notices, 1987
- An introduction to Trellis/OwlACM SIGPLAN Notices, 1986
- Symmetric intertask communicationACM Transactions on Programming Languages and Systems, 1985
- The cosmic cubeCommunications of the ACM, 1985
- Compositionality and concurrent networks: Soundness and completeness of a proofsystemPublished by Springer Nature ,1985
- A proof system for concurrent ADA programsScience of Computer Programming, 1984
- Principles of package designCommunications of the ACM, 1982
- Data-Driven and Demand-Driven Computer ArchitectureACM Computing Surveys, 1982
- Ten Years of Hoare's Logic: A Survey—Part IACM Transactions on Programming Languages and Systems, 1981
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980