A study of the fragile base class problem
- 1 January 1998
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 355-382
- https://doi.org/10.1007/bfb0054099
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Changing data representation in the refinement calculusPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Class refinement and interface refinement in object-oriented programsLecture Notes in Computer Science, 1997
- Exploring summation and product operators in the refinement calculusLecture Notes in Computer Science, 1995
- A behavioral notion of subtypingACM Transactions on Programming Languages and Systems, 1994
- Issues in the design and specification of class librariesACM SIGPLAN Notices, 1992
- Data refinement of predicate transformersTheoretical Computer Science, 1991
- A denotational semantics of inheritance and its correctnessACM SIGPLAN Notices, 1989
- A theoretical basis for stepwise refinement and the programming calculusScience of Computer Programming, 1987
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- Proof of correctness of data representationsActa Informatica, 1972