Revision as of 23:55, 31 January 2005 edit Jdinolt (talk \| contribs) 32 edits Began this discussion page		Revision as of 23:58, 31 January 2005 edit undo Jdinolt (talk \| contribs) 32 edits No edit summary Next edit →
Line 1: 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 [[First-order_logic\|predicate calculus]] could also be filled out. --[[User:Jdinolt\|jayinbmore]] 23:58, 31 Jan 2005 (UTC)

Talk:Predicate transformer semantics: Difference between revisions