Revision as of 11:32, 29 November 2022 edit 73.15.97.112 (talk) →Conjunctive ← Previous edit		Revision as of 11:33, 29 November 2022 edit undo 73.15.97.112 (talk) →Conjunctive Next edit →
Line 242: === Conjunctive === A predicate transformer ''S'' is '''conjunctive''' iff: :<math>S(P \wedge Q)\ \Leftrightarrow\ (S(P) \wedge S(Q))</math> This is the case for <math>wp(S,.)</math>, even if statement ''S'' is non-deterministic as a selection statement or a specification statement.

Predicate transformer semantics: Difference between revisions