Revision as of 23:26, 4 February 2007 edit Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,149 edits Added bold text ← Previous edit		Revision as of 23:47, 4 February 2007 edit undo Jpbowen (talk \| contribs) Extended confirmed users, Pending changes reviewers 83,149 edits m Added "see also" section Next edit →
Line 18: Although the most common and most widely discussed because of their relevance to sequential programming, "weakest pre-conditions" are not the only ''predicate transformers''. For example, [[Leslie Lamport]] has suggested ''win'' and ''sin'' as ''predicate transformers'' for [[concurrent programming]]. == See also == * [[Weakest liberal precondition]] == References ==

Predicate transformer semantics: Difference between revisions