Talk:Predicate transformer semantics

A more in-depth discussion of if and do is required, as well as nondeterminism. Also, an example of how to use predicate transformers to derive a non-trivial algorithm might be good, as long as it doesn't conflict with policy. Also, the references section could use some filling out, specifically to the Gries' and Backhous' newer books on the subject. The relationship to predicate calculus could also be filled out. --jayinbmore 23:58, 31 Jan 2005 (UTC)

Also needs accounting of the wlp "weakest liberal precondition" predicate transformer. --jayinbmore 07:53, 1 Feb 2005 (UTC)

Have merged wlp into this article, as suggested in that article, but it could do with more detail PJTraill (talk) 18:14, 3 December 2009 (UTC)[reply]

Link to Assertion (computing)

The link of "predicate" to Assertion (computing) is rather unhelpful, but the article Predicate (mathematical logic), though more relevant is a mess, and perhaps not much more helpful. Can somebody do better? PJTraill (talk) 00:10, 23 November 2009 (UTC) I disagree re: the unhelpfulness of the link to Assertion (computing) since that's exactly what "predicate" means in the context of "predicate transformer semantics".[reply]