A layered semantics for a parallel object-oriented language
type: Item
instance of: scholarly article
title: A layered semantics for a parallel object-oriented language
zbMATH Open document ID: 0752.68052
DOI: 10.1007/BF01211312
author: Pierre America
author: Jan J. M. M. Rutten
published in: Formal Aspects of Computing
publication date: 1992-09-27T00:00:00Z
review text: We develop a denotational semantics for POOL, a parallel object-oriented programming language. The main contribution of this semantics is an accurate mathematical model of the most important concept in object- oriented programming: the object. This is achieved by structuring the semantics in layers working at three different levels: for statements, objects and programs. For each of these levels we define a specialized mathematical domain of processes, which we use to assign a meaning to each language construct. This is done in the mathematical framework of complete metric spaces. We also define operators that translate between these domains. At the program level we give a precise definition of the observable input/output behaviour of a particular program, which could be used at a later stage to decide the issue of full abstractness. We illustrate our semantic techniques by first applying them to a toy language similar to CSP.
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68N15
zbMATH DE Number: 63908
zbMATH Keywords: parallelism
zbMATH Keywords: denotational semantics
zbMATH Keywords: object-oriented programming
zbMATH Keywords: complete metric spaces
describes a project that uses: POOL
MaRDI profile type: Publication
cites work: Denotational semantics of a parallel object-oriented language
cites work: Q4730749
cites work: Issues in the design of a parallel object-oriented language
cites work: Solving reflexive domain equations in a category of complete metric spaces
cites work: Processes and the denotational semantics of concurrency
cites work: Q3994935
cites work: Q4199490
cites work: Communicating sequential processes
cites work: Topologies on Spaces of Subsets
cites work: Q5639839
cites work: A structural approach to operational semantics
cites work: Semantic Correctness for a Parallel Object-Oriented Language
full work available at URL: https://doi.org/10.1007/bf01211312
OpenAlex ID: W2084421932
Wikidata QID: Q130984064
description: scientific article; zbMATH DE number 63908