Book chapter
Open access

Operational Subsumption, an Ideal Model of Subtyping

ContributorsDami, Laurent
Published inElectronic commerce objects = Objets de commerce électronique, Editors Tsichritzis, Dionysios, p. 11-30
PublisherGenève : Centre universitaire d'informatique
Publication date1998-07

In a previous paper we have defined a semantic preorder called operational subsumption, which compares terms according to their error generation behaviour. Here we apply this abstract framework to a concrete language, namely the Abadi-Cardelli object calculus. Unlike most semantic studies of objects, which deal with typed equalities and therefore require explicitly typed languages, we start here from a untyped world. Type inference is introduced in a second step, together with an ideal model of types and subtyping. We show how this approach flexibly accommodates for several variants, and finally propose a novel semantic interpretation of structural subtyping as embedding-projection pairs.

Citation (ISO format)
DAMI, Laurent. Operational Subsumption, an Ideal Model of Subtyping. In: Electronic commerce objects = Objets de commerce électronique. Genève : Centre universitaire d’informatique, 1998. p. 11–30.
Main files (1)
Book chapter (Published version)
  • PID : unige:155785

Technical informations

Creation10/29/2021 9:18:00 AM
First validation10/29/2021 9:18:00 AM
Update time03/16/2023 1:38:04 AM
Status update03/16/2023 1:38:04 AM
Last indexation08/31/2023 2:06:07 AM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack