School of Computing

Behavioural subtyping for a type-theoretic model of objects

Erik Poll

In FOOL5: Fifth International Workshop on Foundations of Object-Oriented Languages, pages 182-196, January 1998.

Abstract

We present a refinement of the existential object model of Pierce and Turner. In addition to signatures (or interfaces) as the types of objects, we also provide classes as the types of objects. These class types not only specify an interface, but also a particular implementation.

We show that class types can be interpreted in the standard PER model. Our main result is that the standard interpretation of subtyping in PER models - i.e. subtypes are subpers - is then exactly the notion of behavioural subtyping as it is defined by Leavens.

Download publication 77 kbytes

Bibtex Record

@inproceedings{481,
author = {Erik Poll},
title = {Behavioural Subtyping for a Type-Theoretic Model of Objects},
month = {January},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/481},
    booktitle = {FOOL5: Fifth International Workshop on Foundations of Object-Oriented Languages},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014