User contributions for Bart Jacobs (Leuven)

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

04:5904:59, 14 June 2024 diff hist +858 N User talk:ClaireNeveu →Liskov Substitution Principle: criticism: new section current Tag: New topic

17:5517:55, 20 July 2022 diff hist +355 Talk:Separation logic No edit summary Tags: Mobile edit Mobile web edit

09:1209:12, 2 November 2020 diff hist +128 Behavioral subtyping Clarify in the example that behavioral subtyping is about the documentation

05:5005:50, 2 July 2020 diff hist +1,929 Liskov substitution principle Add criticism section

20:5620:56, 30 June 2020 diff hist +5 m Wikipedia:Articles for deletion/Liskov substitution principle No edit summary
20:5520:55, 30 June 2020 diff hist +455 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle

21:1521:15, 22 June 2020 diff hist +17 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
21:0621:06, 22 June 2020 diff hist +829 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
19:2719: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:2419:24, 22 June 2020 diff hist +23 m Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
19:1719:17, 22 June 2020 diff hist +559 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
13:4113:41, 22 June 2020 diff hist +612 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
12:1812:18, 22 June 2020 diff hist +20 m Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
12:1712:17, 22 June 2020 diff hist +611 Wikipedia:Articles for deletion/Liskov substitution principle →Liskov substitution principle
11:1411:14, 22 June 2020 diff hist +260 User talk:Amakuru →Liskov substitution principle page
11:0311:03, 22 June 2020 diff hist +66 Wikipedia:Articles for deletion/Log/2020 June 22 Adding Wikipedia:Articles for deletion/Liskov substitution principle
11:0311:03, 22 June 2020 diff hist +1,278 N Wikipedia:Articles for deletion/Liskov substitution principle Creating deletion discussion for Liskov substitution principle
10:5510:55, 22 June 2020 diff hist +442 Liskov substitution principle AfD: Nominated for deletion; see Wikipedia:Articles for deletion/Liskov substitution principle
10:1910:19, 22 June 2020 diff hist +744 User talk:Amakuru →Liskov substitution principle page: new section

15:0615: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:5914:59, 15 June 2020 diff hist +253 m Behavioral subtyping →Verifying behavioral subtyping: P, P' -> P_s, P_t
08:2608: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

20:1720:17, 11 June 2020 diff hist −37 Behavioral subtyping →"Substitutability": Remove sentence about OO databases.

13:5013:50, 7 June 2020 diff hist +114 Behavioral subtyping Mention that Liskov did not use substitution terminology during the interview.
13:3813:38, 7 June 2020 diff hist +517 Behavioral subtyping Quote from interview with Liskov on LSP

15:0815:08, 6 June 2020 diff hist +992 User talk:Jennasloan Link to Liskov video
07:4807:48, 6 June 2020 diff hist +488 User talk:Jennasloan No edit summary

06:5206:52, 2 June 2020 diff hist +1,438 User talk:Jennasloan →Liskov substitution principle: new section

15:2915:29, 3 May 2020 diff hist +2,055 Behavioral subtyping "Substitutability" (in my own words)

19:2719:27, 2 May 2020 diff hist +15 User:Bart Jacobs (Leuven) No edit summary current
19:1419:14, 2 May 2020 diff hist −9,557 Liskov substitution principle Redirect to Behavioral subtyping Tag: New redirect
05:4305: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:4104:41, 2 May 2020 diff hist +2,386 Behavioral subtyping Verifying behavioral subtyping
04:0204:02, 2 May 2020 diff hist +277 Behavioral subtyping BS requires specs

16:1416:14, 1 May 2020 diff hist +280 Behavioral subtyping Refer to Leavens and Naumann, TOPLAS 2015.
15:1715:17, 1 May 2020 diff hist +463 Behavioral subtyping Reference some state-of-the-art accounts of behavioral subtyping
14:5114:51, 1 May 2020 diff hist +15 User:Bart Jacobs (Leuven) No edit summary
14:3614:36, 1 May 2020 diff hist +24 m Behavioral subtyping No edit summary
14:3114:31, 1 May 2020 diff hist +2,987 Behavioral subtyping ←Removed redirect to Liskov substitution principle Tag: Removed redirect

21:2121:21, 30 April 2020 diff hist +1,468 Talk:Liskov substitution principle →LSP, substitutability are misnomers: new section

11:3611:36, 29 March 2018 diff hist +3 Handle System Fixed a typo

01:0101: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

23:4523:45, 14 January 2018 diff hist 0 m Spectre (security vulnerability) No edit summary
23:3823: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:3523:35, 14 January 2018 diff hist +1 m Spectre (security vulnerability) "subsquently" -> "subsequently"

14 June 2024

20 July 2022

2 November 2020

2 July 2020

1 July 2020

30 June 2020

25 June 2020

22 June 2020

15 June 2020

11 June 2020

7 June 2020

6 June 2020

2 June 2020

3 May 2020

2 May 2020

1 May 2020

30 April 2020

29 March 2018

15 January 2018

14 January 2018