Hoare logic: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 22:3522:35, 5 April 2024‎ Citation bot talk contribs‎ 22,381 bytes −55‎ Removed URL that duplicated identifier. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 1206/3364 undo

curprev 08:5708:57, 23 March 2024‎ Dicklyon talk contribs‎ 22,436 bytes −4‎ case and dash fix undo
curprev 08:5508:55, 23 March 2024‎ Dicklyon talk contribs‎ 22,440 bytes +1‎ case fix undo

curprev 20:1020:10, 20 March 2024‎ MaD70 talk contribs‎ 22,439 bytes +174‎ →‎External links: Updated j-Algo link and added two more link undo Tag: 2017 wikitext editor
curprev 19:5719:57, 20 March 2024‎ MaD70 talk contribs‎ 22,265 bytes −36‎ →‎External links: Updated link to KeY-Hoare. undo Tag: 2017 wikitext editor

curprev 17:1217:12, 8 November 2023‎ OAbot talk contribs‎ m 22,301 bytes +19‎ Open access bot: doi updated in citation with #oabot. undo

curprev 13:3613:36, 17 June 2023‎ 185.244.96.138 talk‎ 22,282 bytes +2‎ →‎Partial and total correctness: It's not "theory", but "Theories", see: https://www.cambridge.org/core/books/theories-of-programming-languages/19530A88F3471B2A7D9891770B21DAF9 undo

curprev 08:1308:13, 18 May 2023‎ Jochen Burghardt talk contribs‎ 22,280 bytes −27‎ Undid revision 1155460282 by Trudyw (talk): "{}" and "[]" mean different notions here, cf. Hoare_logic#While_rule_for_total_correctness undo Tag: Undo
curprev 07:2507:25, 18 May 2023‎ Trudyw talk contribs‎ 22,307 bytes +27‎ changes to use consistently "{" and "}" throughout the whole article (from uses of "[" and "]" in the last section) undo Tag: Reverted

curprev 21:5021:50, 1 March 2023‎ Siddharthist talk contribs‎ 22,280 bytes +21‎ Add {{Program analysis}} undo Tag: 2017 wikitext editor

curprev 01:5701:57, 29 November 2022‎ Citation bot talk contribs‎ 22,259 bytes +61‎ Alter: title. Add: url, s2cid. Removed parameters. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 3833/3850 undo

curprev 23:2923:29, 3 November 2022‎ 79.146.32.217 talk‎ 22,198 bytes +254‎ →‎Added source for the Conditional rule undo

curprev 23:3123:31, 17 September 2022‎ Natg 19 talk contribs‎ m 20,833 bytes +3‎ Disambiguating links to Robert Floyd (disambiguation) (link changed to Robert W. Floyd) using DisamAssist. undo

curprev 06:2206:22, 18 April 2022‎ Noamz talk contribs‎ m 20,830 bytes −13‎ fix broken pdf url undo
curprev 06:0906:09, 18 April 2022‎ Noamz talk contribs‎ m 20,843 bytes −29‎ fix broken pdf url undo

curprev 14:1014:10, 31 October 2021‎ Jochen Burghardt talk contribs‎ 20,872 bytes −109‎ →‎While rule for total correctness: reusing above ref Reynolds.2009 undo
curprev 14:0714:07, 31 October 2021‎ Jochen Burghardt talk contribs‎ 20,981 bytes +175‎ →‎Partial and total correctness: adding ref Reynolds.2009 undo
curprev 14:0314:03, 31 October 2021‎ Jochen Burghardt talk contribs‎ 20,806 bytes +121‎ Undid revision 1052705027 by Dgpop (talk): the statement summarizes section Hoare logic#While rule for total correctness; will extract the (somewhat hidden) source there to a new footnote undo Tag: Undo

curprev 17:3017:30, 30 October 2021‎ Dgpop talk contribs‎ 20,685 bytes −121‎ →‎Partial and total correctness: Removed blank line; deleted statement flagged as needing citation since 2014 undo Tag: Reverted

curprev 15:5815:58, 24 October 2021‎ Jochen Burghardt talk contribs‎ 20,806 bytes +9‎ →‎top: make short descr. a noun phrase undo
curprev 14:1714:17, 24 October 2021‎ A bit iffy talk contribs‎ 20,797 bytes +58‎ + short description undo

curprev 07:0507:05, 18 August 2021‎ Cedar101 talk contribs‎ m 20,739 bytes −50‎ →‎Conditional rule: {{mono}} undo
curprev 06:4706:47, 18 August 2021‎ Cedar101 talk contribs‎ m 20,789 bytes −511‎ →‎Rules: \texttt, {{mono}}, {{mvar}} undo

curprev 21:1021:10, 4 May 2021‎ Finlay McWalter talk contribs‎ 21,300 bytes −4‎ →‎Partial and total correctness: per MOS:QUOTE, quotations don't take italics undo

curprev 18:5518:55, 4 August 2020‎ Cic talk contribs‎ m 21,304 bytes −2‎ →‎Assignment axiom schema: Whitespace fix undo Tag: 2017 wikitext editor

curprev 02:0802:08, 31 May 2020‎ JJMC89 bot III talk contribs‎ m 21,306 bytes −7‎ Moving Category:1969 in computer science to Category:1969 in computing per Wikipedia:Categories for discussion/Log/2020 May 17#Computing by time undo

curprev 06:5906:59, 3 April 2020‎ 2.37.212.245 talk‎ 21,313 bytes +34‎ →‎Consequence rule undo

curprev 16:3016:30, 18 June 2019‎ Jochen Burghardt talk contribs‎ 21,279 bytes +13‎ →‎Consequence rule: inserted forgotten ((math)) undo
curprev 15:0715:07, 18 June 2019‎ 143.215.128.232 talk‎ 21,266 bytes 0‎ →‎While rule undo

curprev 12:4712:47, 6 June 2019‎ Lepticed7 talk contribs‎ m 21,266 bytes −177‎ No edit summary undo
curprev 12:4612:46, 6 June 2019‎ Lepticed7 talk contribs‎ 21,443 bytes +7‎ No edit summary undo

curprev 09:3809:38, 27 May 2019‎ Jochen Burghardt talk contribs‎ 21,436 bytes −2‎ Undid revision 898920374 by 213.205.241.147 (talk) undo Tag: Undo

curprev 19:3219:32, 26 May 2019‎ 213.205.241.147 talk‎ 21,438 bytes +2‎ →‎Assignment axiom schema undo

curprev 00:5200:52, 12 February 2019‎ Citation bot talk contribs‎ m 21,436 bytes +20‎ Alter: isbn. Add: date. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 11:0711:07, 17 January 2019‎ 80.108.41.93 talk‎ 21,416 bytes −3‎ →‎Rules: Fixed a typo in the unsimplified proof of the "then" part. The second part of the conjunction in the precondition is supposed to be the condition. The condition states x is strictly less than 15 and not less or equal than 15. undo

curprev 03:3203:32, 27 December 2018‎ Nskernel talk contribs‎ m 21,419 bytes +752‎ Retyped all equations in <math> environment. Fixed issues of writing "\wedge" as "and" undo

curprev 21:2521:25, 22 December 2018‎ Jarble talk contribs‎ m 20,667 bytes +4‎ linking undo

curprev 18:4318:43, 17 October 2018‎ Guy Harris talk contribs‎ 20,663 bytes +7‎ dab nop undo

curprev 16:2716:27, 5 November 2017‎ InternetArchiveBot talk contribs‎ 20,656 bytes +43‎ Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6) undo

curprev 18:4118:41, 14 June 2017‎ Magic links bot talk contribs‎ m 20,613 bytes +4‎ Replace magic links with templates per local RfC and MediaWiki RfC undo

curprev 05:2905:29, 20 April 2017‎ Jochen Burghardt talk contribs‎ 20,609 bytes −109‎ Undid revision 776287713 by 210.212.97.178 (talk) undo
curprev 02:2802:28, 20 April 2017‎ 210.212.97.178 talk‎ 20,718 bytes +109‎ Do Axiom of assignments P {x = f} R where P is derived from R by replacing all occurrences of x with f. undo Tag: Visual edit

curprev 06:3406:34, 9 April 2017‎ 24.85.232.10 talk‎ 20,609 bytes +4‎ →‎While rule for total correctness undo

5 April 2024

23 March 2024

20 March 2024

8 November 2023

17 June 2023

18 May 2023

1 March 2023

29 November 2022

3 November 2022

25 October 2022

17 September 2022

18 April 2022

31 October 2021

30 October 2021

24 October 2021

18 August 2021

4 May 2021

4 August 2020

31 May 2020

3 April 2020

18 June 2019

6 June 2019

27 May 2019

26 May 2019

12 February 2019

17 January 2019

27 December 2018

22 December 2018

17 October 2018

5 November 2017

14 June 2017

20 April 2017

9 April 2017