CiteSeer.IST Home  Similar documents based on text:  Family Values: A Behavioral Notion of Subtyping - Liskov, Wing (1994)   (Correct)

Similar documents based on text:   All related documents
0.4:   Family Values: A Semantic Notion of Subtyping - Barbara Liskov And (1992)   (Correct)
0.3:   Unknown -   (Correct)
0.3:   Behavioral Subtyping Using Invariants and Constraints - Liskov, Wing (1999)   (Correct)
0.3:   A Behavioral Notion of Subtyping - Liskov, Wing (1994)   (Correct)
0.3:   Specifying and Verifying Object-Oriented Programs: An Overview of .. - Tr Gary   (Correct)
0.2:   Currying multi methods in a merge calculus (Extended Abstract) - Tsuiki (1996)   (Correct)
0.2:   Typed Homomorphic Relations Extended with Subtypes - Leavens, Pigozzi (1991)   (Correct)
0.2:   Subtyping, Modular Specification, and Modular Verification.. - Leavens, Weihl (1994)   (Correct)

CiteSeer.IST - Copyright Penn State and NEC