Predicate transformer semantics: Revision history

14 May 2010

• curprev 16:5116:51, 14 May 2010 Boulme talk contribs m 10,019 bytes +162 No edit summary undo
• curprev 16:4216:42, 14 May 2010 Boulme talk contribs 9,857 bytes +545 →Strongest postcondition: link with weakest-precondition undo
• curprev 16:2416:24, 14 May 2010 Boulme talk contribs 9,312 bytes +467 →Weakest preconditions: conditional undo
• curprev 16:0716:07, 14 May 2010 Boulme talk contribs 8,845 bytes +28 →See also undo
• curprev 16:0316:03, 14 May 2010 Boulme talk contribs 8,817 bytes +174 links to guarded commands in wp section undo
• curprev 13:5413:54, 14 May 2010 Boulme talk contribs m 8,643 bytes +11 →Applications undo
• curprev 13:4713:47, 14 May 2010 Boulme talk contribs m 8,632 bytes −10 →Strongest postcondition undo
• curprev 13:1113:11, 14 May 2010 Boulme talk contribs m 8,642 bytes +2 No edit summary undo
• curprev 13:0913:09, 14 May 2010 Boulme talk contribs 8,640 bytes +75 link to symbolic execution undo
• curprev 12:4812:48, 14 May 2010 Boulme talk contribs 8,565 bytes +812 →Examples of predicate transformers undo
• curprev 06:1406:14, 14 May 2010 82.233.125.148 talk 7,753 bytes +612 contribution to Hoare logic undo

13 May 2010

• curprev 06:4806:48, 13 May 2010 Boulme talk contribs 7,141 bytes +788 add section "applications" undo

12 May 2010

• curprev 19:5119:51, 12 May 2010 Boulme talk contribs 6,353 bytes +878 major changes: plan + strongest-postcondition undo
• curprev 11:5611:56, 12 May 2010 Boulme talk contribs 5,475 bytes +274 →See also undo

3 March 2010

• curprev 13:3313:33, 3 March 2010 FrescoBot talk contribs m 5,201 bytes −23 Bot: links syntax undo

1 March 2010

• curprev 14:3514:35, 1 March 2010 Tea2min talk contribs m 5,224 bytes −10 Dash undo

16 February 2010

• curprev 14:5414:54, 16 February 2010 Luckas-bot talk contribs m 5,234 bytes +49 robot Adding: ru:Слабейшее предусловие undo

3 December 2009

• curprev 18:3818:38, 3 December 2009 PJTraill talk contribs m 5,185 bytes +9 More appropriate link for "predicate". undo
• curprev 18:1318:13, 3 December 2009 PJTraill talk contribs m 5,176 bytes +8 Anchor, remove redundant link, layout undo
• curprev 18:0918:09, 3 December 2009 PJTraill talk contribs 5,168 bytes +588 Merge wlp into this article undo

21 November 2009

• curprev 20:3220:32, 21 November 2009 130.243.170.151 talk 4,580 bytes +5 →References undo
• curprev 20:3020:30, 21 November 2009 130.243.170.151 talk 4,575 bytes +86 →References undo

13 September 2009

• curprev 22:2622:26, 13 September 2009 Xqbot talk contribs m 4,489 bytes +78 robot Adding: bg:Предикатно-трансформативна семантика undo

3 May 2009

• curprev 10:4310:43, 3 May 2009 90.156.109.200 talk 4,411 bytes +19 No edit summary undo

15 March 2009

• curprev 17:3217:32, 15 March 2009 PJTraill talk contribs 4,392 bytes +191 →See also: Axiomatic semantics, semantics overview, hoare logic, summaries undo
• curprev 16:3416:34, 15 March 2009 PJTraill talk contribs 4,201 bytes +255 →References: Dijkstra and Scholten, alphabetic order undo

31 December 2007

• curprev 16:0116:01, 31 December 2007 213.60.236.126 talk 3,946 bytes +51 Adding link to same article in Wikipedia in Spanish undo

4 February 2007

• curprev 23:4723:47, 4 February 2007 Jpbowen talk contribs m 3,895 bytes +52 Added "see also" section undo
• curprev 23:2623:26, 4 February 2007 Jpbowen talk contribs 3,843 bytes +2 Added bold text undo
• curprev 23:2523:25, 4 February 2007 Jpbowen talk contribs m 3,841 bytes +7 Minor format tidying undo
• curprev 16:1016:10, 4 February 2007 Jpbowen talk contribs m 3,834 bytes −3 Minor tidying undo

26 January 2007

• curprev 23:3823:38, 26 January 2007 BozMo talk contribs m 3,837 bytes +515 Reverted edits by 200.91.28.30 (talk) to last version by 221.171.83.190 undo
• curprev 23:0023:00, 26 January 2007 200.91.28.30 talk 3,322 bytes −515 Online Forex Trading - Free Practice Account - All Resurse undo

22 January 2007

• curprev 03:0603:06, 22 January 2007 221.171.83.190 talk 3,837 bytes +29 →References: +ja undo

29 July 2006

• curprev 02:0802:08, 29 July 2006 YurikBot talk contribs m 3,808 bytes +19 robot Adding: de:Wp-Kalkül undo

9 March 2006

• curprev 11:4511:45, 9 March 2006 Malcohol talk contribs m 3,789 bytes +12 →References: Other author of "Refinement Calculus" book undo

23 November 2005

• curprev 23:1023:10, 23 November 2005 Dfletter talk contribs 3,777 bytes −30 No edit summary undo

6 October 2005

• curprev 18:5518:55, 6 October 2005 Jpbowen talk contribs m 3,807 bytes −53 Tidying up, links, extra category, etc. undo
• curprev 18:5018:50, 6 October 2005 Jpbowen talk contribs m 3,860 bytes +71 Tidying up, links, extra category, etc. undo

9 September 2005

• curprev 18:4918:49, 9 September 2005 TuukkaH talk contribs m 3,789 bytes +26 linked guarded commands and guards undo

15 August 2005

• curprev 20:2720:27, 15 August 2005 Neilc talk contribs m 3,763 bytes −24 No edit summary undo

4 April 2005

• curprev 22:0722:07, 4 April 2005 Jdinolt talk contribs 3,787 bytes +2 No edit summary undo

1 February 2005

• curprev 19:2819:28, 1 February 2005 Jdinolt talk contribs m 3,785 bytes +188 corrected formatting, made explanation of example more thorough undo
• curprev 19:2019:20, 1 February 2005 Jdinolt talk contribs m 3,597 bytes +175 Made example calculation more explicit and added explanation of example. undo
• curprev 19:0319:03, 1 February 2005 Jdinolt talk contribs m 3,422 bytes −2 correction to reference undo
• curprev 18:5918:59, 1 February 2005 Jdinolt talk contribs m 3,424 bytes +46 small clarification in example undo
• curprev 18:4918:49, 1 February 2005 Jdinolt talk contribs m 3,378 bytes −1 minor grammatical fixup undo

31 January 2005

• curprev 23:5023:50, 31 January 2005 Jdinolt talk contribs m 3,379 bytes +4 More minor punctuation/formatting fixes undo
• curprev 23:4123:41, 31 January 2005 Jdinolt talk contribs m 3,375 bytes +5 Fixed some minor punctuation errors undo
• curprev 23:4023:40, 31 January 2005 Jdinolt talk contribs 3,370 bytes +3,370 No edit summary