Work

Towards Verification of a Denotational Semantics of Inheritance

Year: 2024

Type: conference-paper

Abstract: Jens Palsberg's first research publication was an OOPSLA '89 paper, coauthored with William Cook. In that much-cited paper, the authors identify self-reference as a central feature of inheritance, and analyze it using fixed points. They then define both an operational and a denotational semantics of inheritance, and prove them equivalent. Their proof exploits an intermediate semantics, obtained by step-indexing the operational semantics – an early use of the so-called 'fuel pattern'.

DOI: 10.1145/3694848.3694852

Author: Peter D. Mosses

Institutions: Swansea University, Delft University of Technology

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

OpenAlex ID: W4403576171

FWCI: 0.294

Cites: 23

Cited by: 1

Related to: 10