Krishna Kishore Dhara. Subtyping among mutable types in object-oriented programming languages. Master's thesis, Iowa State University, 1992.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....subclass of BankAccount, and hence a subtype of BankAccount. A correct implementation of SavingsAccount must also be a public subclass of BankAccount. Ideally the user of Larch C should prove that the subtype relationship is legal according to some accepted definition [Ame87] Lea90] Lea91] Dha92] However, it is undecidable whether an arbitrary claimed subtype relationship is legal, and so for the time being Larch C only requires that certain syntactic conditions be satisfied. First, the used trait must provide overloaded trait functions that will accept arguments of the supertype s ....

Krishna Kishore Dhara. Subtyping among Mutable Types in Object-Oriented Programming Languages. Master's thesis, Iowa State University, Department of Computer Science, Ames, Iowa, May 1992.

....of the work by Leavens. In his Ph.D. thesis [21] Leavens defines types in terms of algebras and subtyping in terms of a simulation relation between them. The work by Bruce and Wegner [4] is similar; like Leavens, they base their work on algebras. Leavens considered only immutable types. Dhara [10, 11, 23] extends Leavens thesis work to deal with mutable types, but rules out the cases where extra methods cause problems; the rules are defined just for individual programs that have no aliasing between objects of related types, and therefore state changes caused by a subtype s extra methods cannot be ....

Krishna Kishore Dhara. Subtyping among mutable types in object-oriented programming languages. Master's thesis, Iowa State University, Ames, Iowa, 1992.

.... to use these features to precisely define a notion of observable aliasing for objects of abstract data types [29] But the main thrust of our investigations with these techniques is to extend our notions of legal behavioral subtyping in objectoriented programming to types with mutable objects [12] [13] As a first step, one could use something like our simulation relations to algebraically characterize when one set of ADTs with mutable objects implements another. 6 Conclusions The split semantics technique presented in this paper is a blend of algebraic and denotational semantics. We ....

....In support of this we have offered a notion of homomorphic relation (our simulation relations) and have shown that it is preserved by expressions and commands in a simple language. The addition of more realistic features to the language, such as loops, does not destroy this fundamental property [12] [13] The semantics of the simple language, and the proof of this property demonstrate the utility of these techniques. When doing the proof, we ignored half the language s semantics, and started with the denotations of type and method declarations that is, we started with our algebraic ....

Krishna Kishore Dhara. Subtyping among mutable types in object-oriented programming languages. Master's thesis, Iowa State University, Department of Computer Science, Ames, Iowa, May 1992.

No context found.

Krishna Kishore Dhara. Subtyping among mutable types in object-oriented programming languages. Master's Thesis, Department of Computer Science, Iowa State University, Ames, Iowa 50011, May 1992.

No context found.

Krishna Kishore Dhara. Subtyping among mutable types in object-oriented programming languages. Master's thesis, Iowa State University, 1992.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC