r...@zedat.fu-berlin.de (Stefan Ram) writes: > Julieta Shem <js...@yaxenu.org> writes: >>r...@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! [...] -- https://mail.python.org/mailman/listinfo/python-list
