Jump to content

User talk:jennasloan

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Bart Jacobs (Leuven) (talk | contribs) at 06:52, 2 June 2020 (→‎Liskov substitution principle: new section). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Liskov substitution principle

Hi Jenna, Care to discuss the Liskov Substitution Principle page? I replaced it with a redirect to Behavioral subtyping because I believe the "substitution"/"substitutability" terminology, used throughout the page, is technically incorrect. (Please see the "Substitutability" section on the Behavioral subtyping page for details; see also Leavens, Gary T.; Naumann, David A. (August 2015). "Behavioral subtyping, specification inheritance, and modular reasoning". ACM Transactions on Programming Languages and Systems. 37 (4). doi:10.1145/2766446., bottom of page 5. This journal is the most prestigious and most strictly peer-reviewed academic journal in programming languages.) I'm teaching a course on object-oriented programming, including behavioral subtyping, at a university in Leuven and I wanted to keep students from getting incorrect information when they Google "behavioral subtyping". (It's better now than it was originally, though: before I did the redirect, Google sent people to the LSP page for "behavioral subtyping". It seems that now, the Behavioral subtyping page is the first hit, and the LSP page the second hit. I just hope the LSP will not overtake the BS page again, given that it is probably linked to more.) Bart Jacobs (Leuven) (talk)

Retrieved from "https://en.wikipedia.org/w/index.php?title=User_talk:Jennasloan&oldid=960307610"