( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Coupling proofs are probabilistic product programs.

, , , и . POPL, стр. 161-174. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Caroline Barthe

Mathis Barthe

Christoph Barthe

Gerhard Barthe

Susan Barthe

 

Другие публикации лиц с тем же именем

Proving Expected Sensitivity of Probabilistic Programs., , , , и . CoRR, (2017)Practical Inference for Type-Based Termination in a Polymorphic Setting., , и . TLCA, стр. 71-85. (2005)Type-based termination of recursive definitions., , , , и . Mathematical Structures in Computer Science, 14 (1): 97-141 (2004)Product programs and relational program logics., , и . J. Log. Algebraic Methods Program., 85 (5): 847-859 (2016)Formal verification of a constant-time preserving C compiler., , , , , , и . Proc. ACM Program. Lang., 4 (POPL): 7:1-7:30 (2020)Safe couplings: coupled refinement types., , и . Proc. ACM Program. Lang., 6 (ICFP): 596-624 (2022)SoK: Practical Foundations for Spectre Defenses., , , , и . CoRR, (2021)Formal Methods for Smartcard Security., и . FOSAD, том 3655 из Lecture Notes in Computer Science, стр. 133-177. Springer, (2005)Certificate Translation in Abstract Interpretation., и . ESOP, том 4960 из Lecture Notes in Computer Science, стр. 368-382. Springer, (2008)Partial Evaluation and Non-interference for Object Calculi., и . Fuji International Symposium on Functional and Logic Programming, том 1722 из Lecture Notes in Computer Science, стр. 53-67. Springer, (1999)