A user with 67 edits. Account created on 8 March 2013.
14 June 2024
- 04:59 04:59, 14 June 2024 diff hist +858 N User talk:ClaireNeveu →Liskov Substitution Principle: criticism: new section current Tag: New topic
20 July 2022
- 17:55 17:55, 20 July 2022 diff hist +355 Talk:Separation logic No edit summary Tags: Mobile edit Mobile web edit
2 November 2020
- 09:12 09:12, 2 November 2020 diff hist +128 Behavioral subtyping Clarify in the example that behavioral subtyping is about the documentation
2 July 2020
- 05:50 05:50, 2 July 2020 diff hist +1,929 Liskov substitution principle Add criticism section
1 July 2020
- 09:23 09:23, 1 July 2020 diff hist +97 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 09:06 09:06, 1 July 2020 diff hist +455 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
30 June 2020
- 20:56 20:56, 30 June 2020 diff hist +5 m Wikipedia:Articles for deletion/Liskov substitution principle No edit summary
- 20:55 20:55, 30 June 2020 diff hist +455 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
25 June 2020
- 07:29 07:29, 25 June 2020 diff hist +238 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 07:28 07:28, 25 June 2020 diff hist +1,405 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
22 June 2020
- 21:15 21:15, 22 June 2020 diff hist +17 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 21:06 21:06, 22 June 2020 diff hist +829 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 19:27 19:27, 22 June 2020 diff hist −23 m Wikipedia:Articles for deletion/Liskov substitution principle Undid revision 963956354 by Bart Jacobs (Leuven) ( talk) Tag: Undo
- 19:24 19:24, 22 June 2020 diff hist +23 m Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 19:17 19:17, 22 June 2020 diff hist +559 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 13:41 13:41, 22 June 2020 diff hist +612 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 12:18 12:18, 22 June 2020 diff hist +20 m Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 12:17 12:17, 22 June 2020 diff hist +611 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 11:14 11:14, 22 June 2020 diff hist +260 User talk:Amakuru →Liskov substitution principle page
- 11:03 11:03, 22 June 2020 diff hist +66 Wikipedia:Articles for deletion/Log/2020 June 22 Adding Wikipedia:Articles for deletion/Liskov substitution principle
- 11:03 11:03, 22 June 2020 diff hist +1,278 N Wikipedia:Articles for deletion/Liskov substitution principle Creating deletion discussion for Liskov substitution principle
- 10:55 10:55, 22 June 2020 diff hist +442 Liskov substitution principle AfD: Nominated for deletion; see Wikipedia:Articles for deletion/Liskov substitution principle
- 10:19 10:19, 22 June 2020 diff hist +744 User talk:Amakuru →Liskov substitution principle page: new section
15 June 2020
- 15:06 15:06, 15 June 2020 diff hist +180 Behavioral subtyping →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.
- 14:59 14:59, 15 June 2020 diff hist +253 m Behavioral subtyping →Verifying behavioral subtyping: P, P' -> P_s, P_t
- 08:26 08:26, 15 June 2020 diff hist −9,557 Liskov substitution principle Again redirect to behavioral subtyping (after discussion with Jennasloan at her talk page and after adding quote from Liskov saying "technically, it's called behavioral subtyping" to the Behavioral subtyping page) Tag: New redirect
11 June 2020
- 20:17 20:17, 11 June 2020 diff hist −37 Behavioral subtyping →"Substitutability": Remove sentence about OO databases.
7 June 2020
- 13:50 13:50, 7 June 2020 diff hist +114 Behavioral subtyping Mention that Liskov did not use substitution terminology during the interview.
- 13:38 13:38, 7 June 2020 diff hist +517 Behavioral subtyping Quote from interview with Liskov on LSP
6 June 2020
- 15:08 15:08, 6 June 2020 diff hist +992 User talk:Jennasloan Link to Liskov video
- 07:48 07:48, 6 June 2020 diff hist +488 User talk:Jennasloan No edit summary
2 June 2020
- 06:52 06:52, 2 June 2020 diff hist +1,438 User talk:Jennasloan →Liskov substitution principle: new section
3 May 2020
- 15:29 15:29, 3 May 2020 diff hist +2,055 Behavioral subtyping "Substitutability" (in my own words)
2 May 2020
- 19:27 19:27, 2 May 2020 diff hist +15 User:Bart Jacobs (Leuven) No edit summary current
- 19:14 19:14, 2 May 2020 diff hist −9,557 Liskov substitution principle Redirect to Behavioral subtyping Tag: New redirect
- 05:43 05:43, 2 May 2020 diff hist +4 Liskov substitution principle Link to the behavioral subtyping article
- 05:4105:41, 2 May 2020 diff hist +1,640 Behavioral subtyping "Substitutability"
- 04:41 04:41, 2 May 2020 diff hist +2,386 Behavioral subtyping Verifying behavioral subtyping
- 04:02 04:02, 2 May 2020 diff hist +277 Behavioral subtyping BS requires specs
1 May 2020
- 16:14 16:14, 1 May 2020 diff hist +280 Behavioral subtyping Refer to Leavens and Naumann, TOPLAS 2015.
- 15:17 15:17, 1 May 2020 diff hist +463 Behavioral subtyping Reference some state-of-the-art accounts of behavioral subtyping
- 14:51 14:51, 1 May 2020 diff hist +15 User:Bart Jacobs (Leuven) No edit summary
- 14:36 14:36, 1 May 2020 diff hist +24 m Behavioral subtyping No edit summary
- 14:31 14:31, 1 May 2020 diff hist +2,987 Behavioral subtyping ←Removed redirect to Liskov substitution principle Tag: Removed redirect
30 April 2020
- 21:21 21:21, 30 April 2020 diff hist +1,468 Talk:Liskov substitution principle →LSP, substitutability are misnomers: new section
29 March 2018
- 11:36 11:36, 29 March 2018 diff hist +3 Handle System Fixed a typo
15 January 2018
- 01:01 01:01, 15 January 2018 diff hist +199 Spectre (security vulnerability) Clarified that Spectre is specifically about branch prediction, not out-of-order execution under pending access checks, which is also considered a form of speculative execution
14 January 2018
- 23:45 23:45, 14 January 2018 diff hist 0 m Spectre (security vulnerability) No edit summary
- 23:38 23:38, 14 January 2018 diff hist +19 m Spectre (security vulnerability) Weakened "The authors show how the attack can be carried out" to "The authors describe how they succeeded in carrying out this attack"
- 23:35 23:35, 14 January 2018 diff hist +1 m Spectre (security vulnerability) "subsquently" -> "subsequently"
A user with 67 edits. Account created on 8 March 2013.
14 June 2024
- 04:59 04:59, 14 June 2024 diff hist +858 N User talk:ClaireNeveu →Liskov Substitution Principle: criticism: new section current Tag: New topic
20 July 2022
- 17:55 17:55, 20 July 2022 diff hist +355 Talk:Separation logic No edit summary Tags: Mobile edit Mobile web edit
2 November 2020
- 09:12 09:12, 2 November 2020 diff hist +128 Behavioral subtyping Clarify in the example that behavioral subtyping is about the documentation
2 July 2020
- 05:50 05:50, 2 July 2020 diff hist +1,929 Liskov substitution principle Add criticism section
1 July 2020
- 09:23 09:23, 1 July 2020 diff hist +97 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 09:06 09:06, 1 July 2020 diff hist +455 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
30 June 2020
- 20:56 20:56, 30 June 2020 diff hist +5 m Wikipedia:Articles for deletion/Liskov substitution principle No edit summary
- 20:55 20:55, 30 June 2020 diff hist +455 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
25 June 2020
- 07:29 07:29, 25 June 2020 diff hist +238 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 07:28 07:28, 25 June 2020 diff hist +1,405 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
22 June 2020
- 21:15 21:15, 22 June 2020 diff hist +17 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 21:06 21:06, 22 June 2020 diff hist +829 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 19:27 19:27, 22 June 2020 diff hist −23 m Wikipedia:Articles for deletion/Liskov substitution principle Undid revision 963956354 by Bart Jacobs (Leuven) ( talk) Tag: Undo
- 19:24 19:24, 22 June 2020 diff hist +23 m Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 19:17 19:17, 22 June 2020 diff hist +559 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 13:41 13:41, 22 June 2020 diff hist +612 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 12:18 12:18, 22 June 2020 diff hist +20 m Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 12:17 12:17, 22 June 2020 diff hist +611 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
- 11:14 11:14, 22 June 2020 diff hist +260 User talk:Amakuru →Liskov substitution principle page
- 11:03 11:03, 22 June 2020 diff hist +66 Wikipedia:Articles for deletion/Log/2020 June 22 Adding Wikipedia:Articles for deletion/Liskov substitution principle
- 11:03 11:03, 22 June 2020 diff hist +1,278 N Wikipedia:Articles for deletion/Liskov substitution principle Creating deletion discussion for Liskov substitution principle
- 10:55 10:55, 22 June 2020 diff hist +442 Liskov substitution principle AfD: Nominated for deletion; see Wikipedia:Articles for deletion/Liskov substitution principle
- 10:19 10:19, 22 June 2020 diff hist +744 User talk:Amakuru →Liskov substitution principle page: new section
15 June 2020
- 15:06 15:06, 15 June 2020 diff hist +180 Behavioral subtyping →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.
- 14:59 14:59, 15 June 2020 diff hist +253 m Behavioral subtyping →Verifying behavioral subtyping: P, P' -> P_s, P_t
- 08:26 08:26, 15 June 2020 diff hist −9,557 Liskov substitution principle Again redirect to behavioral subtyping (after discussion with Jennasloan at her talk page and after adding quote from Liskov saying "technically, it's called behavioral subtyping" to the Behavioral subtyping page) Tag: New redirect
11 June 2020
- 20:17 20:17, 11 June 2020 diff hist −37 Behavioral subtyping →"Substitutability": Remove sentence about OO databases.
7 June 2020
- 13:50 13:50, 7 June 2020 diff hist +114 Behavioral subtyping Mention that Liskov did not use substitution terminology during the interview.
- 13:38 13:38, 7 June 2020 diff hist +517 Behavioral subtyping Quote from interview with Liskov on LSP
6 June 2020
- 15:08 15:08, 6 June 2020 diff hist +992 User talk:Jennasloan Link to Liskov video
- 07:48 07:48, 6 June 2020 diff hist +488 User talk:Jennasloan No edit summary
2 June 2020
- 06:52 06:52, 2 June 2020 diff hist +1,438 User talk:Jennasloan →Liskov substitution principle: new section
3 May 2020
- 15:29 15:29, 3 May 2020 diff hist +2,055 Behavioral subtyping "Substitutability" (in my own words)
2 May 2020
- 19:27 19:27, 2 May 2020 diff hist +15 User:Bart Jacobs (Leuven) No edit summary current
- 19:14 19:14, 2 May 2020 diff hist −9,557 Liskov substitution principle Redirect to Behavioral subtyping Tag: New redirect
- 05:43 05:43, 2 May 2020 diff hist +4 Liskov substitution principle Link to the behavioral subtyping article
- 05:4105:41, 2 May 2020 diff hist +1,640 Behavioral subtyping "Substitutability"
- 04:41 04:41, 2 May 2020 diff hist +2,386 Behavioral subtyping Verifying behavioral subtyping
- 04:02 04:02, 2 May 2020 diff hist +277 Behavioral subtyping BS requires specs
1 May 2020
- 16:14 16:14, 1 May 2020 diff hist +280 Behavioral subtyping Refer to Leavens and Naumann, TOPLAS 2015.
- 15:17 15:17, 1 May 2020 diff hist +463 Behavioral subtyping Reference some state-of-the-art accounts of behavioral subtyping
- 14:51 14:51, 1 May 2020 diff hist +15 User:Bart Jacobs (Leuven) No edit summary
- 14:36 14:36, 1 May 2020 diff hist +24 m Behavioral subtyping No edit summary
- 14:31 14:31, 1 May 2020 diff hist +2,987 Behavioral subtyping ←Removed redirect to Liskov substitution principle Tag: Removed redirect
30 April 2020
- 21:21 21:21, 30 April 2020 diff hist +1,468 Talk:Liskov substitution principle →LSP, substitutability are misnomers: new section
29 March 2018
- 11:36 11:36, 29 March 2018 diff hist +3 Handle System Fixed a typo
15 January 2018
- 01:01 01:01, 15 January 2018 diff hist +199 Spectre (security vulnerability) Clarified that Spectre is specifically about branch prediction, not out-of-order execution under pending access checks, which is also considered a form of speculative execution
14 January 2018
- 23:45 23:45, 14 January 2018 diff hist 0 m Spectre (security vulnerability) No edit summary
- 23:38 23:38, 14 January 2018 diff hist +19 m Spectre (security vulnerability) Weakened "The authors show how the attack can be carried out" to "The authors describe how they succeeded in carrying out this attack"
- 23:35 23:35, 14 January 2018 diff hist +1 m Spectre (security vulnerability) "subsquently" -> "subsequently"