Talk:Weakest liberal precondition

From Wikipedia, the free encyclopedia

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?