Correctness (computer science): Revision history

14 March 2025

• curprev 20:3220:32, 14 March 2025 Ringo62 talk contribs m 6,678 bytes +2 ce undo Tag: Visual edit

14 June 2024

• curprev 09:2409:24, 14 June 2024 AdaHephais talk contribs 6,676 bytes −7 improve presentation undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

15 July 2023

• curprev 18:2918:29, 15 July 2023 C7XWiki talk contribs 6,683 bytes 0 No edit summary undo

16 March 2023

• curprev 23:0123:01, 16 March 2023 Citation bot talk contribs 6,683 bytes −76 Misc citation tidying. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine undo

4 January 2023

• curprev 13:3013:30, 4 January 2023 Citation bot talk contribs 6,759 bytes +57 Add: s2cid. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 1691/2500 undo

1 November 2021

• curprev 00:3200:32, 1 November 2021 Ira Leviton talk contribs m 6,702 bytes +1 correcness->correctness - Fix a typo in one click undo

17 October 2021

• curprev 09:3909:39, 17 October 2021 Bbbaat talk contribs m 6,701 bytes 0 Spelling corrected undo

10 October 2021

• curprev 07:3707:37, 10 October 2021 Jochen Burghardt talk contribs 6,701 bytes 0 →top: unified aliquotSum to divisorSum, since the link aliquot sum isn't used anymore, as noted by User:Nononsense101 undo

9 September 2021

• curprev 18:3818:38, 9 September 2021 Jochen Burghardt talk contribs 6,701 bytes +498 →top: suggest to depict the odd perfect number searching program undo
• curprev 18:1718:17, 9 September 2021 Jochen Burghardt talk contribs 6,203 bytes +64 →top: make intro less tautological; explain relations between functional, partial, and total correctness; omit twaddle phrase "critical role" undo

2 May 2021

• curprev 01:3901:39, 2 May 2021 CannedCans talk contribs 6,139 bytes +92 Importing Wikidata short description: "Quality of an algorithm being correct with respect to a specification" (Shortdesc helper) undo

12 November 2020

• curprev 03:0203:02, 12 November 2020 Greenbreen talk contribs 6,047 bytes +30 Corrected a misunderstanding introduced in this revision undo

26 June 2020

• curprev 14:5014:50, 26 June 2020 UKoch talk contribs 6,017 bytes +3 replaced vague wording undo

29 April 2020

• curprev 06:4206:42, 29 April 2020 Leventov talk contribs 6,014 bytes +52 No edit summary undo

2 December 2019

• curprev 20:0120:01, 2 December 2019 Colonies Chris talk contribs 5,962 bytes −28 No edit summary undo

17 September 2019

• curprev 16:0716:07, 17 September 2019 Monkbot talk contribs m 5,990 bytes +4 →top: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

8 September 2019

• curprev 23:0823:08, 8 September 2019 Jarble talk contribs m 5,986 bytes +4 linking undo

14 July 2019

• curprev 01:2501:25, 14 July 2019 Citation bot talk contribs m 5,982 bytes −70 Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here.| Activated by User:Marianne Zimmerman undo

4 July 2019

• curprev 22:3522:35, 4 July 2019 39.52.252.135 talk 6,052 bytes −1 No edit summary undo

24 June 2019

• curprev 13:4113:41, 24 June 2019 Jarble talk contribs 6,053 bytes +277 adding links to references using Google Scholar undo

22 May 2019

• curprev 00:1700:17, 22 May 2019 Jarble talk contribs 5,776 bytes +67 adding links to references using Google Scholar undo

13 January 2019

• curprev 00:1400:14, 13 January 2019 Citation bot talk contribs m 5,709 bytes +30 Add: citeseerx. | You can use this bot yourself. Report bugs here. | User-activated. undo

27 September 2018

• curprev 17:5717:57, 27 September 2018 GilIsaac talk contribs m 5,679 bytes 0 Swap URLs from reflist, items "A Comparative Analysis of Functional Correctness" and "Axiomatic approach to total correctness of programs". The URLs were wrong. undo

23 March 2018

• curprev 22:3822:38, 23 March 2018 JCW-CleanerBot talk contribs m 5,679 bytes 0 →top: task using AWB undo

10 February 2018

• curprev 04:4004:40, 10 February 2018 Kuilin talk contribs 5,679 bytes −11 No edit summary undo

5 February 2018

• curprev 11:4711:47, 5 February 2018 KH-1 talk contribs m 5,690 bytes −3 Reverted edits by 148.253.166.53 (talk) to last version by ClueBot NG undo Tag: Rollback
• curprev 11:4311:43, 5 February 2018 148.253.166.53 talk 5,693 bytes +3 No edit summary undo
• curprev 11:4211:42, 5 February 2018 ClueBot NG talk contribs m 5,690 bytes −66 Reverting possible vandalism by 148.253.166.53 to version by KH-1. Report False Positive? Thanks, ClueBot NG. (3273031) (Bot) undo Tag: Rollback
• curprev 11:4211:42, 5 February 2018 148.253.166.53 talk 5,756 bytes +66 No edit summary undo
• curprev 11:3911:39, 5 February 2018 KH-1 talk contribs m 5,690 bytes −5 Reverted edits by 148.253.166.53 (talk) to last version by Faught undo Tag: Rollback
• curprev 11:3911:39, 5 February 2018 148.253.166.53 talk 5,695 bytes +5 No edit summary undo

30 November 2017

• curprev 00:0100:01, 30 November 2017 Faught talk contribs m 5,690 bytes −1 Made date format in citation consistent. undo

29 November 2017

• curprev 20:2720:27, 29 November 2017 Faught talk contribs 5,691 bytes +41 Split Notes and References, remove extraneous <ref> tags in references, improve Pan citation undo

20 October 2017

• curprev 14:4414:44, 20 October 2017 Hulten talk contribs m 5,650 bytes −11 switched around terms (because ''additionally'') undo

28 August 2017

• curprev 11:3611:36, 28 August 2017 KolbertBot talk contribs m 5,661 bytes +1 Bot: HTTP→HTTPS undo

13 August 2017

• curprev 09:4909:49, 13 August 2017 InternetArchiveBot talk contribs 5,660 bytes +196 Rescuing 1 sources and tagging 0 as dead. #IABot (v1.5beta) undo

24 April 2017

• curprev 00:3200:32, 24 April 2017 Keith D talk contribs m 5,464 bytes +44 date formats per MOS:DATEFORMAT by script undo

19 April 2017

• curprev 14:4414:44, 19 April 2017 Brandonjack12 talk contribs m 5,420 bytes +972 No edit summary undo

13 April 2017

• curprev 16:4016:40, 13 April 2017 Otbabalola talk contribs 4,448 bytes +183 →References undo

11 April 2017

• curprev 00:1300:13, 11 April 2017 Pujapatel talk contribs 4,265 bytes +609 →References undo

5 April 2017

• curprev 00:4000:40, 5 April 2017 24.85.232.10 talk 3,656 bytes −4 No edit summary undo

7 October 2015

• curprev 10:0510:05, 7 October 2015 202.3.77.218 talk 3,660 bytes −33 Removed nosources undo Tags: Mobile edit Mobile web edit

5 October 2015

• curprev 14:3714:37, 5 October 2015 Ssaransh talk contribs 3,693 bytes +1,335 Added citations and a little more about Hoare logic undo Tag: Visual edit: Switched

13 January 2015

• curprev 20:0420:04, 13 January 2015 Petershank talk contribs m 2,358 bytes +1 ... produces the *expected* (not "correct") output (meeting the expectation is what defines correct in this context) undo

15 October 2013

• curprev 22:1822:18, 15 October 2013 Reyk talk contribs m 2,357 bytes +4 fix undo
• curprev 22:1622:16, 15 October 2013 Reyk talk contribs 2,353 bytes +29 {{nosources|date=Oct 2013}} undo

20 June 2013

• curprev 15:0015:00, 20 June 2013 Legobot talk contribs m 2,324 bytes +30 BOT: Dating templates: {{citation needed}} (2). Errors? stop me undo
• curprev 13:5313:53, 20 June 2013 Liiiii talk contribs m 2,294 bytes +40 Some citation needed undo

19 April 2013

• curprev 19:3219:32, 19 April 2013 KLBot2 talk contribs m 2,254 bytes −27 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:Q360812 undo
• curprev 03:2103:21, 19 April 2013 JC Beltrano talk contribs m 2,281 bytes +27 No edit summary undo