archives

Subtyping for mutable types in object-oriented programming languages

Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Dhara, Krishna K. and Leavens, Gary T. (1992) Subtyping for mutable types in object-oriented programming languages. Technical Report TR92-36, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

Subtyping for mutable types in object-oriented programming languages
by
Krishna Kishore Dhara
and Gary T. Leavens
Abstract
Subtype relationships in object-oriented programming languages are
studied to aid code reuse and reasoning about programs that use
subtype polymorphism.  We define what it means for one abstract data
type to be a subtype of another.  This definition allows for both
mutation and aliasing.  This work gives intuition for programmers and
guidance to language designers.




Subjects:All uncategorized technical reports



ID code:00000039


Deposited by:Staff Account on 01 November 1992









Contact site administrator at: ssg@cs.iastate.edu