Weak Behavioral Subtyping for Types with Mutable Objects
|
Home About Browse Search Register Subscriptions Deposit Papers Help |
Dhara, Kishore and Leavens, Gary T. (1994) Weak Behavioral Subtyping for Types with Mutable Objects. Technical Report TR94-21, Department of Computer Science, Iowa State University.
| Full text available as: | Postscript Adobe PDF |
Abstract
Weak Behavioral Subtyping for Types with Mutable Objects by Krishna Kishore Dhara and Gary T. Leavens Abstract This paper studies the question of when one abstract data type (ADT) is a behavioral subtype of another, and proposes a model-theoretic notion of weak behavioral subtyping. Weak behavioral subtyping permits supertype abstraction to be a sound and modular reasoning principle in a language with mutation and limited forms of aliasing. The necessary restrictions on aliasing can be statically checked.
| Subjects: | All uncategorized technical reports |
| ID code: | 00000087 |
| Deposited by: | Staff Account on 14 November 1994 |
Contact site administrator at: ssg@cs.iastate.edu