Coupling proofs are probabilistic product programs.

Details

Language :

English

ISSN :

03621340

Volume :

52

Issue :

1

Database :

Complementary Index

Journal :

ACM / SIGPLAN Notices

Publication Type :

Academic Journal

Accession number :

131909801

Full Text :

https://doi.org/10.1145/3093333.3009896