Issues in the design of a parallel object-oriented language-Reference-Cited by-同舟云学术

Issues in the design of a parallel object-oriented language

Published:1989-03 Issue:1 Volume:1 Page:366-411
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

America Pierre¹

Affiliation:

1. Philips Research Laboratories, P.O. Box 80.000, S600 JA, Eindhoven, Netherlands

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF01887214.pdf

Reference85 articles.

1. Agha G.: Actors: A Model of Concurrent Computation in Distributed Systems . MIT Press 1986.

2. Allen R. Callahan D. and Kennedy K.: Automatic Decomposition of Scientific Programs for Parallel Execution. In Proc. 14th POPL Munich West Germany 21–23 January 1987 pp. 63–76.

Cited by 61 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Specification with Class: A Brief History of Object-Z;Lecture Notes in Computer Science;2020

2. Concurrency: Handling Interference Formally;Lecture Notes in Computer Science;2018

3. A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions;Theory and Practice of Formal Methods;2016

4. Quantified abstract configurations of distributed systems;Formal Aspects of Computing;2015-07

5. Quantified Abstractions of Distributed Systems;Lecture Notes in Computer Science;2013