A semantics of multiple inheritance
type: Item
instance of: scholarly article
title: A semantics of multiple inheritance
zbMATH Open document ID: 0651.68017
DOI: 10.1016/0890-5401(88)90007-7
author: Luca Cardelli
published in: Information and Computation
publication date: 1988-01-01T00:00:00Z
review text: The aim of this paper is to present a clean semantics of multiple inheritance and to show that, in the context of strongly typed, statically scoped languages, a sound typechecking algorithm exists. Multiple inheritance is also interpreted in a broad sense: instead of being limited to objects, it is extended in a natural way to union types and to higher-order functional types. This constitutes a semantic basis for the unification of functional and object-oriented programming. The first part of this paper is informal, and presents the basic notations and intuitions by means of examples. The second part is formal: it introduces a language, a semantics, a type-inference system, and a typechecking algorithm. The algorithm is proved sound with respect to the inference system, and the inference system is proved sound with respect to the semantics.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 4062552
zbMATH Keywords: functional programming
zbMATH Keywords: semantics of multiple inheritance
zbMATH Keywords: typechecking algorithm
zbMATH Keywords: object-oriented programming
zbMATH Keywords: type-inference system
Wikidata QID: Q56982296
describes a project that uses: ML
describes a project that uses: Smalltalk
describes a project that uses: Simula 67
MaRDI profile type: Publication
full work available at URL: 0890-5401(88)90007-7
OpenAlex ID: W2173184982
cites work: Combinators and functional programming languages. Thirteenth Spring School of the LITP, Val d'Ajol, France, May 6-10, 1985. Proceedings
cites work: SIMULA: an ALGOL-based simulation language
cites work: Q3667910
cites work: Q3702495
cites work: An ideal model for recursive polymorphic types
cites work: A theory of type polymorphism in programming
cites work: Q3719794
cites work: Q4068054
DBLP publication ID: journals/iandc/Cardelli88
description: scientific article; zbMATH DE number 4062552