A Parallel Object-Oriented Language: Design and Semantic Foundations.
Pierre America, Jan J. M. M. Rutten · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1989
The language POOL2 integrates the structuring mechanisms of object-oriented programming with facilities for parallel programming.We discuss the most important issues in the design of this language.In particular, we give an overview of the basic principles ot object-oriented programming, and we compare se11eral different ways of combining them with parallelism.The language is illustrated by a programming example.Then we define two kinds of formal semantics: an operational semantics based on transition systems and a denotational semantics, which uses the framework of complete metric spaces.These two semantic models are found to be equivalent, In the sense that the operational semantics of a program can be recovered from its denotational semantics by applying an abstraction operation.The semantic techniques are introduced by applying them first to a slmpllfied language.