1990•Publications of the UdS (Saarland University)Open access

The denotational semantics of an object oriented programming language

Andreas V. Hense

Abstract

Recently, several descriptions of object oriented programming languages with denotational semantics have been given. Cook presented a denotational semantics of class inheritance. This semantics abstracts from the internal state of objects, which is one of their salient characteristics. In this paper we show that Cooks denotational semantics of class inheritance is applicable to object oriented programming languages, where objects have a state. For this purpose we define a direct denotational semantics of a small object oriented programming language. We claim that the resulting denotational semantics is clear and can serve the derivation of efficient implementations of object oriented programming languages.

About this research paper

What this paper is about

Why it matters

OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Denotational semantics of the Actor model, Denotational semantics, Normalisation by evaluation, Programming language, Action semantics, Computer science, Operational semantics, Semantics (computer science)