Behavioral subtyping: Revision history

13 May 2025

• curprev 18:5818:58, 13 May 2025 TheseVGF talk contribs 10,204 bytes −31 ce undo

27 March 2025

• curprev 15:4915:49, 27 March 2025 Mathnerd314159 talk contribs 10,235 bytes −1 move image to top, remove double newline undo

14 March 2025

• curprev 16:4116:41, 14 March 2025 Bart Jacobs (Leuven) talk contribs 10,236 bytes +84 Add figure showing incorrect and correct Queue/Stack hierarchies undo

27 November 2023

• curprev 21:2921:29, 27 November 2023 OAbot talk contribs m 10,152 bytes +16 Open access bot: doi updated in citation with #oabot. undo

8 November 2023

• curprev 08:3108:31, 8 November 2023 OAbot talk contribs m 10,136 bytes +17 Open access bot: doi updated in citation with #oabot. undo

16 March 2023

• curprev 08:4508:45, 16 March 2023 Miroslav Ličko talk contribs 10,119 bytes +62 LI "Stack (abstract data type)" and "Queue (abstract data type)" undo

28 January 2023

• curprev 16:4916:49, 28 January 2023 OAbot talk contribs m 10,057 bytes +19 Open access bot: doi added to citation with #oabot. undo

29 September 2022

• curprev 14:3714:37, 29 September 2022 71.112.176.218 talk 10,038 bytes +3 gramma change undo

21 December 2021

• curprev 19:2019:20, 21 December 2021 Rlink2 talk contribs m 10,035 bytes +130 →"Substitutability": Fixing archives for YouTube videos (WP:Link_Rot, WP:CEFC#Pre-emptive_archiving, phab:T294880) undo Tag: AWB

2 November 2020

• curprev 09:1209:12, 2 November 2020 Bart Jacobs (Leuven) talk contribs 9,905 bytes +128 Clarify in the example that behavioral subtyping is about the documentation undo

11 October 2020

• curprev 09:4509:45, 11 October 2020 77.189.48.163 talk 9,777 bytes 0 →"Substitutability": Corrected this very link. undo
• curprev 09:4409:44, 11 October 2020 77.189.48.163 talk 9,777 bytes +34 →"Substitutability": Inserted link undo

9 July 2020

• curprev 12:5512:55, 9 July 2020 Chris Capoccia talk contribs 9,743 bytes +88 Added free to read link in citations with OAbot #oabot undo Tag: OAbot [2.1]

15 June 2020

• curprev 15:0615:06, 15 June 2020 Bart Jacobs (Leuven) talk contribs 9,655 bytes +180 →Verifying behavioral subtyping: Introduce formal notation for strengthening of method specifications, so that the meaning of the final paragraph's first sentence can be clarified concisely. undo
• curprev 14:5914:59, 15 June 2020 Bart Jacobs (Leuven) talk contribs m 9,475 bytes +253 →Verifying behavioral subtyping: P, P' -> P_s, P_t undo

11 June 2020

• curprev 20:1720:17, 11 June 2020 Bart Jacobs (Leuven) talk contribs 9,222 bytes −37 →"Substitutability": Remove sentence about OO databases. undo

7 June 2020

• curprev 13:5013:50, 7 June 2020 Bart Jacobs (Leuven) talk contribs 9,259 bytes +114 Mention that Liskov did not use substitution terminology during the interview. undo
• curprev 13:3813:38, 7 June 2020 Bart Jacobs (Leuven) talk contribs 9,145 bytes +517 Quote from interview with Liskov on LSP undo

20 May 2020

• curprev 16:1416:14, 20 May 2020 91.133.34.133 talk 8,628 bytes +4 link to Barbara Liskov article undo

14 May 2020

• curprev 17:2017:20, 14 May 2020 173.94.24.162 talk 8,624 bytes +1 Minor grammar edits undo

13 May 2020

• curprev 17:2617:26, 13 May 2020 Rodw talk contribs m 8,623 bytes +27 Disambiguating links to LIFO (link changed to Stack (abstract data type)) using DisamAssist. undo

4 May 2020

• curprev 04:4904:49, 4 May 2020 Berek talk contribs 8,596 bytes +11 added Category:Object-oriented programming; removed {{uncategorized}} using HotCat undo
• curprev 02:1202:12, 4 May 2020 Mcampany talk contribs 8,585 bytes +33 Added tags to the page using Page Curation (uncategorised) undo Tag: PageTriage

3 May 2020

• curprev 15:2915:29, 3 May 2020 Bart Jacobs (Leuven) talk contribs 8,552 bytes +2,055 "Substitutability" (in my own words) undo
• curprev 14:1014:10, 3 May 2020 Diannaa talk contribs 6,497 bytes −1,603 remove copyright content copied from http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf
• curprev 13:1913:19, 3 May 2020 Cyfal talk contribs m 8,100 bytes 0 spelling (Wikipedia:Typo Team)

2 May 2020

• curprev 05:4105:41, 2 May 2020 Bart Jacobs (Leuven) talk contribs 8,100 bytes +1,640 "Substitutability"
• curprev 04:4104:41, 2 May 2020 Bart Jacobs (Leuven) talk contribs 6,460 bytes +2,386 Verifying behavioral subtyping undo
• curprev 04:0204:02, 2 May 2020 Bart Jacobs (Leuven) talk contribs 4,074 bytes +277 BS requires specs undo

1 May 2020

• curprev 16:1416:14, 1 May 2020 Bart Jacobs (Leuven) talk contribs 3,797 bytes +280 Refer to Leavens and Naumann, TOPLAS 2015. undo
• curprev 15:1715:17, 1 May 2020 Bart Jacobs (Leuven) talk contribs 3,517 bytes +463 Reference some state-of-the-art accounts of behavioral subtyping undo
• curprev 14:3614:36, 1 May 2020 Bart Jacobs (Leuven) talk contribs m 3,054 bytes +24 No edit summary undo
• curprev 14:3114:31, 1 May 2020 Bart Jacobs (Leuven) talk contribs 3,030 bytes +2,987 ←Removed redirect to Liskov substitution principle undo Tag: Removed redirect

25 August 2009

• curprev 23:3023:30, 25 August 2009 Pcap talk contribs 43 bytes +43 defined there