Logo
LogoUniGeSES

ASG list of publications

Citation

Laurent Dami, "Operational subsumption, an ideal model of subtyping.", July, 1998

Abstract

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.

Bibtex

@unpublished{Dami98,
Author = "Laurent Dami",
Title = "Operational subsumption, an ideal model of subtyping.",
Key = "osg osg-ftp tr98.2 lambda-calculus",
Notes = "",
Month = "July",
Year = "1998"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.