an oop question

[Julieta Shem]

ram at zedat.fu-berlin.de (Stefan Ram) writes:

> Julieta Shem <jshem at yaxenu.org> writes:
>>ram at zedat.fu-berlin.de (Stefan Ram) writes:
>>>Later, I looked at a book in a bookstore; it was a book
>>>about programming by Barbara Liskov that came out after the
>>>LSP was already mentioned often, and as far as I could see, 
>>>that book did not mention the LSP at all, although it
>>>actually had a chapter about subtypes!
>>Do you remember the book's title?
>
>   Unfortunately, no. I might have seen it between 1995 and 2010,
>   so it could have been 
>
> Program Development in Java: 
> Abstraction, Specification, and Object-Oriented Design
> by John Guttag and Barbara Liskov,
> June 2000
>
>   . It has this predecessor:
>
> Abstraction and Specification in Program Development
> by Barbara Liskov and John Guttag,
> March 1986
>
>   . But I also found this paper, which I recommend to look at
>   in this regard:
>
> A Behavioral Notion of Subtyping,
> Barbara Liskov and Jeannette M. Wing,
> 1994
>
>   . It contains the quite readable
>
> |Subtype Requirement: Let φ(z) be a property provable about
> |objects x of type T. Then φ(y) should be true for objects y
> |of type S where S is a subtype of T.

Thank you so much for the references!

[...]