Class Refinement as Semantics of Correct Subclassing (1997)

Cached

Download Links

by Ralph Back , Anna Mikhajlova , Joakim Von Wright
Citations:6 - 4 self

Active Bibliography

15 Class Refinement as Semantics of Correct Object Substitutability – Ralph-Johan Back, Anna Mikhajlova, Joakim Von Wright
3 Formal Semantics of Inheritance and Object Substitutability – Ralph Back, Leonid Mikhajlov, Joakim Von Wright - 2000
36 The Greybox Approach: When Blackbox Specifications Hide Too Much – Martin B├╝chi, Wolfgang Weck - 1999
41 A Study of The Fragile Base Class Problem – Leonid Mikhajlov, Emil Sekerinski - 1998
8 The fragile base class problem and its solution – Leonid Mikhajlov, Emil Sekerinski - 1997
9 A Relational Model for Object-Oriented Programming – He Jifeng, Zhiming Liu, Li Xiaoshan - 2001
4 Modelling Object-oriented Programming with Reference Type and Dynamic Binding – He Jifeng, Liu Zhiming, Li Xiaoshan - 2003
33 rCOS: A refinement calculus for object systems – Zhiming Liu, He Jifeng, Xiaoshan Li - 2005
12 Fusion and Simultaneous Execution in the Refinement Calculus – Ralph-johan Back, Michael Butler - 1997
1 Ensuring Correctness of Java Frameworks: A Formal Look at JCF – Anna Mikhajlova, Emil Sekerinski, Turku Centre, Computer Science - 1999
2 A One-Round Algorithm for Virtually Synchronous Group Communication in Wide Are Networks – Roger I Khazan - 2002
14 An Inheritance-Based Technique for Building Simulation Proofs Incrementally – Idit Keidar, Roger Khazan, Nancy Lynch, Alex Shvartsman - 2000
3 Class re nement and interface re nement in object-oriented programs – Anna Mikhajlova, Emil Sekerinski - 1997
1 Kind Theory – Joseph R. Kiniry - 2002
and – Anindya Banerjee, David A. Naumann - 2002
66 Ownership Confinement Ensures Representation Independence for Object-Oriented Programs – Anindya Banerjee, David A. Naumann - 2002
14 A relational model for object-oriented designs – He Jifeng, Zhiming Liu, Xiaoshan Li, Shengchao Qin - 2004
4 Data refinement, call by value, and higher order programs. unpublished draft – David A. Naumann - 1995
130 A Logic of Object-Oriented Programs – Martin Abadi, K. Rustan M. Leino - 1998