An Elementary Semantics for Cardelli's System of Multiple Inheritance

M.M. Fokkinga

Research output: Book/ReportReportOther research output

Abstract

In [Cardelli 84] Luca Cardelli gave a formal definition of a typed object-oriented language incorporating a sub-type relation used to describe multiple inheritance. Cardelli's fundamental result was a semantics for his system that enabled sub-typing to be modelled as straightforward set-inclusion. In this paper an alternative semantics for Cardelli's system is offered in which this result is proved in a more elementary framework.
Original languageUndefined
Place of PublicationEnschede, The Netherlands
PublisherUniversity of Twente, Department of Computer Science
Number of pages0
Publication statusPublished - 1987

Keywords

  • Inheritance
  • types
  • EWI-8204
  • set-theory
  • Lambda calculus
  • Object-oriented programming

Cite this

Fokkinga, M. M. (1987). An Elementary Semantics for Cardelli's System of Multiple Inheritance. Enschede, The Netherlands: University of Twente, Department of Computer Science.
Fokkinga, M.M. / An Elementary Semantics for Cardelli's System of Multiple Inheritance. Enschede, The Netherlands : University of Twente, Department of Computer Science, 1987.
@book{bde63f55e6574010b8bc17c325508ef7,
title = "An Elementary Semantics for Cardelli's System of Multiple Inheritance",
abstract = "In [Cardelli 84] Luca Cardelli gave a formal definition of a typed object-oriented language incorporating a sub-type relation used to describe multiple inheritance. Cardelli's fundamental result was a semantics for his system that enabled sub-typing to be modelled as straightforward set-inclusion. In this paper an alternative semantics for Cardelli's system is offered in which this result is proved in a more elementary framework.",
keywords = "Inheritance, types, EWI-8204, set-theory, Lambda calculus, Object-oriented programming",
author = "M.M. Fokkinga",
note = "Imported from EWI/DB PMS [db-utwente:tech:0000003497]",
year = "1987",
language = "Undefined",
publisher = "University of Twente, Department of Computer Science",

}

Fokkinga, MM 1987, An Elementary Semantics for Cardelli's System of Multiple Inheritance. University of Twente, Department of Computer Science, Enschede, The Netherlands.

An Elementary Semantics for Cardelli's System of Multiple Inheritance. / Fokkinga, M.M.

Enschede, The Netherlands : University of Twente, Department of Computer Science, 1987.

Research output: Book/ReportReportOther research output

TY - BOOK

T1 - An Elementary Semantics for Cardelli's System of Multiple Inheritance

AU - Fokkinga, M.M.

N1 - Imported from EWI/DB PMS [db-utwente:tech:0000003497]

PY - 1987

Y1 - 1987

N2 - In [Cardelli 84] Luca Cardelli gave a formal definition of a typed object-oriented language incorporating a sub-type relation used to describe multiple inheritance. Cardelli's fundamental result was a semantics for his system that enabled sub-typing to be modelled as straightforward set-inclusion. In this paper an alternative semantics for Cardelli's system is offered in which this result is proved in a more elementary framework.

AB - In [Cardelli 84] Luca Cardelli gave a formal definition of a typed object-oriented language incorporating a sub-type relation used to describe multiple inheritance. Cardelli's fundamental result was a semantics for his system that enabled sub-typing to be modelled as straightforward set-inclusion. In this paper an alternative semantics for Cardelli's system is offered in which this result is proved in a more elementary framework.

KW - Inheritance

KW - types

KW - EWI-8204

KW - set-theory

KW - Lambda calculus

KW - Object-oriented programming

M3 - Report

BT - An Elementary Semantics for Cardelli's System of Multiple Inheritance

PB - University of Twente, Department of Computer Science

CY - Enschede, The Netherlands

ER -

Fokkinga MM. An Elementary Semantics for Cardelli's System of Multiple Inheritance. Enschede, The Netherlands: University of Twente, Department of Computer Science, 1987.