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.
Weak Behavioral Subtyping for Types with Mutable Objects
Krishna Kishore Dhara and Gary T. Leavens
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.
Contact site administrator at: email@example.com