Structured program theorem: Revision history

13 March 2024

• curprev 08:4408:44, 13 March 2024‎ Dereversibilization talk contribs‎ m 23,214 bytes +16‎ →‎Reversible version undo
• curprev 08:1508:15, 13 March 2024‎ Dereversibilization talk contribs‎ m 23,198 bytes +1‎ →‎Reversible version undo
• curprev 08:1208:12, 13 March 2024‎ Dereversibilization talk contribs‎ m 23,197 bytes +244‎ →‎Reversible version undo

9 March 2024

• curprev 01:3901:39, 9 March 2024‎ GreenReaper talk contribs‎ 22,953 bytes −10‎ →‎Application to Cobol: Don't tell the reader to note it, just note it. undo Tags: Mobile edit Mobile web edit Advanced mobile edit

7 March 2024

• curprev 07:2207:22, 7 March 2024‎ Dereversibilization talk contribs‎ 22,963 bytes +2,132‎ →‎Origin and variants undo

17 January 2024

• curprev 13:0913:09, 17 January 2024‎ AutobioGraphix talk contribs‎ 20,831 bytes +43‎ added Wayback link for "page not found" link undo

20 November 2023

• curprev 15:1815:18, 20 November 2023‎ OAbot talk contribs‎ m 20,788 bytes +19‎ Open access bot: doi updated in citation with #oabot. undo

24 August 2023

• curprev 00:3700:37, 24 August 2023‎ Citation bot talk contribs‎ 20,769 bytes −123‎ Alter: title. Add: chapter. Removed proxy/dead URL that duplicated identifier. Removed parameters. | Use this bot. Report bugs. | #UCB_CommandLine undo

16 August 2023

• curprev 21:3221:32, 16 August 2023‎ OAbot talk contribs‎ m 20,892 bytes −4‎ Open access bot: doi updated in citation with #oabot. undo

12 August 2023

• curprev 15:1915:19, 12 August 2023‎ OAbot talk contribs‎ m 20,896 bytes +16‎ Open access bot: doi added to citation with #oabot. undo

16 July 2023

• curprev 08:3308:33, 16 July 2023‎ Alnaling talk contribs‎ 20,880 bytes +13‎ Replace diagrams with svg version undo

8 April 2023

• curprev 22:4222:42, 8 April 2023‎ 70.67.124.152 talk‎ 20,867 bytes +95‎ No edit summary undo

29 January 2023

• curprev 02:4502:45, 29 January 2023‎ OAbot talk contribs‎ m 20,772 bytes +18‎ Open access bot: doi added to citation with #oabot. undo

3 January 2023

• curprev 09:4709:47, 3 January 2023‎ Nairboon talk contribs‎ 20,754 bytes +375‎ →‎Origin and variants: added reference to von Neumann undo

16 October 2022

• curprev 16:5616:56, 16 October 2022‎ Novem Linguae talk contribs‎ 20,379 bytes −1‎ unfloat image and move down, since it is almost my whole screen width undo Tag: Visual edit

6 September 2022

• curprev 09:5909:59, 6 September 2022‎ Osalbahr talk contribs‎ 20,380 bytes +54‎ →‎Implications and refinements: Used the correct link to the article about the letter, as in Goto#Criticism; bolded for the same reason undo Tag: Visual edit

7 June 2022

• curprev 18:4018:40, 7 June 2022‎ Citation bot talk contribs‎ 20,326 bytes +186‎ Alter: journal, title. Add: chapter, issue, s2cid. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 521/996 undo

14 March 2022

• curprev 08:4708:47, 14 March 2022‎ BrownHairedGirl talk contribs‎ 20,140 bytes +65‎ tag with {{Bare URL PDF}} undo Tag: AWB

10 September 2021

• curprev 18:0418:04, 10 September 2021‎ Rublov talk contribs‎ 20,075 bytes −7‎ Image should not be centered above first paragraph undo

5 July 2021

• curprev 12:4412:44, 5 July 2021‎ OAbot talk contribs‎ m 20,082 bytes +18‎ Open access bot: doi added to citation with #oabot. undo

8 April 2021

• curprev 16:0016:00, 8 April 2021‎ Comp.arch talk contribs‎ m 20,064 bytes 0‎ No edit summary undo Tag: 2017 wikitext editor
• curprev 15:4915:49, 8 April 2021‎ Comp.arch talk contribs‎ m 20,064 bytes 0‎ No edit summary undo Tag: 2017 wikitext editor

15 February 2021

• curprev 22:5222:52, 15 February 2021‎ 2001:861:3ac0:4fa0:3cf4:cd04:c9aa:2d2 talk‎ 20,064 bytes +45‎ No edit summary undo

12 December 2020

• curprev 04:3504:35, 12 December 2020‎ Monkbot talk contribs‎ m 20,019 bytes −27‎ Task 18 (cosmetic): eval 22 templates: del empty params (3×); hyphenate params (3×); undo Tag: AWB

25 November 2020

• curprev 04:2304:23, 25 November 2020‎ TheoLaLeo talk contribs‎ m 20,046 bytes −213‎ removed dead link undo Tag: Visual edit

13 September 2020

• curprev 16:1516:15, 13 September 2020‎ Jeffrey Henning talk contribs‎ 20,259 bytes +277‎ Add illustration undo

8 June 2020

• curprev 21:3421:34, 8 June 2020‎ ArnoldReinhold talk contribs‎ 19,982 bytes +11‎ Changing short description from "Control flow graph with 3 types of controls can compute any computable function" to "Control flow graphs with 3 types of control structures can compute any computable function" (Shortdesc helper) undo
• curprev 21:3421:34, 8 June 2020‎ ArnoldReinhold talk contribs‎ 19,971 bytes −2‎ ce SD undo
• curprev 21:2921:29, 8 June 2020‎ ArnoldReinhold talk contribs‎ 19,973 bytes +104‎ Adding local short description: "Sufficient conditions for a control flow graph to compute any computable function", overriding Wikidata description "theorem that a class of control flow graphs can compute any computable function if it combines subprograms only through sequence, selection, and iteration" (Shortdesc helper) undo

31 May 2020

• curprev 17:0317:03, 31 May 2020‎ InternetArchiveBot talk contribs‎ 19,869 bytes +290‎ Bluelink 2 books for verifiability (prndis)) #IABot (v2.0.1) (GreenC bot undo

11 May 2020

• curprev 18:3518:35, 11 May 2020‎ DannyS712 bot talk contribs‎ m 19,579 bytes +18‎ Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

1 May 2020

• curprev 07:2907:29, 1 May 2020‎ Rjwilmsi talk contribs‎ m 19,561 bytes +139‎ →‎Implications and refinements: Journal cites:, undo Tag: AWB

25 April 2020

• curprev 13:4813:48, 25 April 2020‎ 151.27.90.26 talk‎ 19,422 bytes +1‎ →‎External links: missing ] undo

12 April 2020

• curprev 23:4723:47, 12 April 2020‎ OAbot talk contribs‎ m 19,421 bytes +18‎ Open access bot: doi added to citation with #oabot. undo

25 February 2020

• curprev 15:2215:22, 25 February 2020‎ Frap talk contribs‎ 19,403 bytes +18‎ →‎Single-while-loop, folk version of the theorem: MOS:ALGO undo

24 February 2020

• curprev 18:4718:47, 24 February 2020‎ 96.74.121.65 talk‎ 19,385 bytes 0‎ No edit summary undo

18 December 2019

• curprev 03:3303:33, 18 December 2019‎ InternetArchiveBot talk contribs‎ 19,385 bytes +69‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

29 November 2019

• curprev 19:1019:10, 29 November 2019‎ CAPTAIN RAJU talk contribs‎ m 19,316 bytes −267‎ Reverted edits by 70.57.28.160 (talk) (HG) (3.4.9) undo Tags: Huggle Rollback
• curprev 19:0919:09, 29 November 2019‎ 70.57.28.160 talk‎ 19,583 bytes +267‎ DESIGN DISAMBIGUOUS ISSUE. COMMENTED ON CODE Issue Source code on COBOL. Breaking on Wikipedia. undo Tags: Mobile edit Mobile web edit

25 September 2019

• curprev 14:0814:08, 25 September 2019‎ Tom.Reding talk contribs‎ m 19,316 bytes +7‎ Category:CS1 errors: deprecated parameters: migrate 1/1 |dead-url= to |url-status=; minor cleanup; WP:GenFixes on undo Tag: AWB

8 September 2019

• curprev 03:4503:45, 8 September 2019‎ InternetArchiveBot talk contribs‎ 19,309 bytes +79‎ Bluelinking 1 books for verifiability.) #IABot (v2.1alpha3 undo

31 August 2019

• curprev 19:2919:29, 31 August 2019‎ AxelBoldt talk contribs‎ 19,230 bytes +194‎ mention structured programming in intro undo Tag: Visual edit

27 August 2019

• curprev 17:2217:22, 27 August 2019‎ Bender the Bot talk contribs‎ m 19,036 bytes +1‎ →‎Implications and refinements: HTTP → HTTPS for Tufts CS, replaced: http://www.cs.tufts.edu/ → https://www.cs.tufts.edu/ undo Tag: AWB

17 August 2019

• curprev 21:2021:20, 17 August 2019‎ 2601:184:4a80:7cf:5c43:a7f1:7c85:bff1 talk‎ 19,035 bytes +16‎ en-dashes undo

31 July 2019

• curprev 18:1418:14, 31 July 2019‎ 67.69.138.228 talk‎ 19,019 bytes +14‎ Made steps more consistent undo Tag: Visual edit

31 May 2019

• curprev 03:0603:06, 31 May 2019‎ 2001:8003:8c96:f400:4178:6901:905a:2a26 talk‎ 19,005 bytes +1‎ →‎Implications and refinements: CE undo Tags: Mobile edit Mobile web edit

22 February 2019

• curprev 11:5511:55, 22 February 2019‎ Citation bot talk contribs‎ m 19,004 bytes +98‎ Alter: template type, isbn. Add: citeseerx. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

23 September 2018

• curprev 16:0216:02, 23 September 2018‎ 86.168.70.186 talk‎ 18,906 bytes +1‎ →‎Origin and variants: Corrected "the contents of the Böhm–Jacopini proof was..." to "the contents of the Böhm–Jacopini proof were..." undo
• curprev 15:5215:52, 23 September 2018‎ 86.168.70.186 talk‎ 18,905 bytes +11‎ "Executing a subprogram... (iteration)" changed to "Repeatedly executing a subprogram... (iteration)" to convey the meaning better. ("Executing" on its own could be satisfied by the continued execution of a *single* execution while a boolean expression is (remains) true.) undo

4 June 2018

• curprev 11:4311:43, 4 June 2018‎ InternetArchiveBot talk contribs‎ 18,894 bytes +128‎ Rescuing 1 sources and tagging 0 as dead. #IABot (v2.0beta) undo