Revision as of 05:12, 23 February 2008 edit 203.143.165.77 (talk) No edit summary ← Previous edit		Revision as of 05:13, 23 February 2008 edit undo 203.143.165.77 (talk) cancelled a comment which was based on misreading the article Next edit →
Line 4: Also needs accounting of the ''wlp'' "weakest liberal precondition" ''predicate transformer''. --[[User:Jdinolt\|jayinbmore]] 07:53, 1 Feb 2005 (UTC) ~~--Credit for Floyd-Hoere--~~ ~~Dijkstra is credited with inventing the Hoare stuff, but this is not~~ ~~explained in detail neither in this article nor in the article on~~ ~~Hoare calculus. This needs to be fixed.~~

Talk:Predicate transformer semantics: Difference between revisions