I'm not sure this article is accurate. Weakest liberal preconditions are just a re-expression of Floyd Hoare Logic in the calculus of predicate transformers, and they're accounted for in publications that pre-date the cite given here. Also, Dijkstra invented "wp" specifically to overcome the "partial correctness" problem with "wlp". Therefore saying "an extension" is probably wrong. Maybe this should move to be part of the Predicate transformer semantics page?
- I agree: it belongs there. Maybe I'll do it sometime, not now. PJTraill ( talk) 17:29, 15 March 2009 (UTC)
- Done (but without addressing the above objections) PJTraill ( talk) 18:34, 3 December 2009 (UTC)
I'm not sure this article is accurate. Weakest liberal preconditions are just a re-expression of Floyd Hoare Logic in the calculus of predicate transformers, and they're accounted for in publications that pre-date the cite given here. Also, Dijkstra invented "wp" specifically to overcome the "partial correctness" problem with "wlp". Therefore saying "an extension" is probably wrong. Maybe this should move to be part of the Predicate transformer semantics page?
- I agree: it belongs there. Maybe I'll do it sometime, not now. PJTraill ( talk) 17:29, 15 March 2009 (UTC)
- Done (but without addressing the above objections) PJTraill ( talk) 18:34, 3 December 2009 (UTC)