Subtyping for Mutable Types in Object-Oriented Programming Languages (1992)
by
Krishna Kishore Dhara
,
Gary T. Leavens
| Citations: | 8 - 2 self |
BibTeX
@MISC{Dhara92subtypingfor,
author = {Krishna Kishore Dhara and Gary T. Leavens},
title = {Subtyping for Mutable Types in Object-Oriented Programming Languages},
year = {1992}
}
Share
 |
 |
 |
 |
||
OpenURL
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...
