Skip to main content

Behavioural Subtyping for a Type-Theoretic Model of Objects

Poll, Erik (1998) Behavioural Subtyping for a Type-Theoretic Model of Objects. In: FOOL5: Fifth International Workshop on Foundations of Object-Oriented Languages. . (KAR id:21687)

PDF
Language: English
Click to download this file (231kB) Preview
[thumbnail of behavioural_subtyping_poll.pdf]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format
Postscript
Language: English
Click to download this file (212kB) Preview
[thumbnail of behavioural_subtyping_poll.ps]
Preview
This file may not be suitable for users of assistive technology.
Request an accessible format

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.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: behavioural subtyping
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 29 Aug 2009 10:51 UTC
Last Modified: 16 Nov 2021 10:00 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21687 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.