A Delegation-based Object Calculus with Subtyping

A Delegation-based Object Calculus with Subtyping (1995)

Cached

Download Links

by Kathleen Fisher , John C. Mitchell

Venue:	In Proc. of FCT
Citations:	66 - 5 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	A Delegation-based Object Calculus with Subtyping	INFERENCE
AUTHOR NAME	Kathleen Fisher	SVM HeaderParse 0.1
AUTHOR AFFIL	Computer Science Department, Stanford University, Stanford	SVM HeaderParse 0.2
AUTHOR ADDR	CA 94305	SVM HeaderParse 0.1
AUTHOR NAME	John C. Mitchell	SVM HeaderParse 0.1
AUTHOR AFFIL	Computer Science Department, Stanford University, Stanford	SVM HeaderParse 0.2
AUTHOR ADDR	CA 94305	SVM HeaderParse 0.1
ABSTRACT	. This paper presents an untyped object calculus that reflects the capabilities of so-called delegation-based object-oriented languages. A type inference system allows static detection of errors, such as message not understood, while at the same time allowing the type of an inherited method to be specialized to the type of the inheriting object. The main advance over previous work is the provision for subtyping in the presence of delegation primatives. This is achieved by distinguishing a prototype, whose methods may be extended or replaced, from an object, which only responds to messages for which it already has methods. An advantage of this approach is that we have full subtyping without restricting the "runtime " use of inheritance. Type soundness is proved using operational semantics and an analysis of typing derivations. 1 Introduction There are two basic forms of object-oriented languages, the most common of which is class-based. In these languages, which include C [Str86, ES9...	user correction - Legacy Corrections
YEAR	1995	INFERENCE
VENUE	In Proc. of FCT	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	42--61	INFERENCE
VOLUME	965	INFERENCE
CITATIONS	17 found	ParsCit 1.0