archives

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