Content deleted Content added
No edit summary |
m more comments on what's needed |
||
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)
Also needs accounting of the ''wlp'' "weakest liberal precondition" ''predicate transformer''.
--[[User:Jdinolt|jayinbmore]] 07:53, 1 Feb 2005 (UTC)
| |||