Revision as of 14:15, 22 July 2023 edit Cedar101 (talk \| contribs) Extended confirmed users 18,555 edits m →Total Correctness: \textit ← Previous edit		Revision as of 20:37, 24 July 2023 edit undo David Eppstein (talk \| contribs) Autopatrolled, Administrators 235,586 edits Annabelle McIver Next edit →
Line 280: Indeed, such programs have many applications in [[cryptography]] (hiding of information using some randomized noise), [[distributed systems]] (symmetry breaking). <ref>{{cite journal \|first1=Carroll \|last1=Morgan \|first2=Annabelle \|last2=McIver\|author2-link= Annabelle McIver \|first3=Karen \|last3=Seidel \|title=Probabilistic Predicate Transformers \|journal=ACM Trans. Program. Lang. Syst. \|volume=18 \|issue=3 \|pages=325–353 \|date=May 1996 \|doi=10.1145/229542.229547 \|url=http://www.cse.unsw.edu.au/~carrollm/probs/Papers/Morgan-96d.pdf \|citeseerx=10.1.1.41.9219 \|s2cid=5812195 }}</ref> == See also ==

Predicate transformer semantics: Difference between revisions