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.
Subtyping for mutable types in object-oriented programming languages
Krishna Kishore Dhara
and Gary T. Leavens
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.
Contact site administrator at: email@example.com