Talk:Predicate transformer semantics: Revision history

25 January 2024

• curprev 17:5517:55, 25 January 2024 Qwerfjkl (bot) talk contribs 7,608 bytes +22 Implementing WP:PIQA (Task 26) undo Tag: Talk banner shell conversion

16 February 2019

• curprev 22:0522:05, 16 February 2019 GreenC bot talk contribs 7,586 bytes +18 Add {{reflist-talk}} to #Strictness of wp depends on allowed statements (via reftalk bot) undo

15 July 2018

• curprev 09:0509:05, 15 July 2018 WOSlinker talk contribs 7,568 bytes +3 code fix undo

23 May 2017

• curprev 00:0300:03, 23 May 2017 Julian Jarecki talk contribs 7,565 bytes +1,712 →Strictness of wp depends on allowed statements: new section undo

9 April 2015

• curprev 22:4322:43, 9 April 2015 Syrak talk contribs 5,853 bytes 0 →The While case needs a partial correctness rule undo
• curprev 22:4322:43, 9 April 2015 Syrak talk contribs 5,853 bytes +17 →The While case needs a partial correctness rule undo
• curprev 22:4222:42, 9 April 2015 Syrak talk contribs 5,836 bytes −41 →The While case needs a partial correctness rule undo
• curprev 22:4122:41, 9 April 2015 82.225.200.38 talk 5,877 bytes +115 →The While case needs a partial correctness rule undo
• curprev 22:4022:40, 9 April 2015 82.225.200.38 talk 5,762 bytes +830 →The While case needs a partial correctness rule undo

5 March 2015

• curprev 01:1201:12, 5 March 2015 Houseofwealth talk contribs m 4,932 bytes +99 →Stongest postconditions are missing a motivation undo
• curprev 01:1101:11, 5 March 2015 Houseofwealth talk contribs 4,833 bytes +346 →Stongest postconditions are missing a motivation: new section undo
• curprev 01:0401:04, 5 March 2015 Houseofwealth talk contribs 4,487 bytes +378 →The While case needs a partial correctness rule undo
• curprev 00:5600:56, 5 March 2015 Houseofwealth talk contribs m 4,109 bytes +2 →The While case needs a partial correctness rule undo
• curprev 00:5600:56, 5 March 2015 Houseofwealth talk contribs 4,107 bytes +1,064 →The While case needs a partial correctness rule: new section undo

24 September 2013

• curprev 14:5114:51, 24 September 2013 Widefox talk contribs 3,043 bytes +119 proj / rate undo

14 March 2012

• curprev 17:4817:48, 14 March 2012 Diggory Hardy talk contribs 2,924 bytes +592 added question on formatting of expressions undo

6 December 2009

• curprev 20:0120:01, 6 December 2009 SineBot talk contribs m 2,332 bytes +301 Signing comment by PJTraill - "→Link to Assertion (computing): Now updated" undo
• curprev 20:0020:00, 6 December 2009 PJTraill talk contribs 2,031 bytes +163 →Link to Assertion (computing): Now updated undo

4 December 2009

• curprev 21:3521:35, 4 December 2009 SineBot talk contribs m 1,868 bytes +297 Signing comment by Jdinolt - "→Link to Assertion (computing): " undo
• curprev 21:3321:33, 4 December 2009 Jdinolt talk contribs 1,571 bytes +116 →Link to Assertion (computing) undo
• curprev 21:3221:32, 4 December 2009 Jdinolt talk contribs 1,455 bytes +3 →Link to Assertion (computing) undo
• curprev 21:2821:28, 4 December 2009 Jdinolt talk contribs 1,452 bytes +85 →Link to Assertion (computing) undo
• curprev 21:2721:27, 4 December 2009 12.54.225.3 talk 1,367 bytes +171 →Link to Assertion (computing) undo

3 December 2009

• curprev 18:1418:14, 3 December 2009 PJTraill talk contribs 1,196 bytes +187 wlp merged undo

23 November 2009

• curprev 00:1000:10, 23 November 2009 PJTraill talk contribs 1,009 bytes +346 →Link to Assertion (computing): new section undo

23 February 2008

• curprev 05:1305:13, 23 February 2008 203.143.165.77 talk 663 bytes −204 cancelled a comment which was based on misreading the article undo
• curprev 05:1205:12, 23 February 2008 203.143.165.77 talk 867 bytes +204 No edit summary undo

1 February 2005

• curprev 07:5307:53, 1 February 2005 Jdinolt talk contribs m 663 bytes +150 more comments on what's needed undo

31 January 2005

• curprev 23:5823:58, 31 January 2005 Jdinolt talk contribs 513 bytes +55 No edit summary undo
• curprev 23:5523:55, 31 January 2005 Jdinolt talk contribs 458 bytes +458 Began this discussion page