( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Cosmo: a concurrent separation logic for multicore OCaml.

, , и . Proc. ACM Program. Lang., 4 (ICFP): 96:1-96:29 (2020)

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.

Jacques-Henri Jourdan

Jacques-Henri Sublemontier

Manfred Jourdan

Martin Jourdan

Cornelia Jourdan

 

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

Time Credits and Time Receipts in Iris., , и . ESOP, том 11423 из Lecture Notes in Computer Science, стр. 3-29. Springer, (2019)Cosmo: a concurrent separation logic for multicore OCaml., , и . Proc. ACM Program. Lang., 4 (ICFP): 96:1-96:29 (2020)RustBelt: Securing the foundations of the Rust Programming language, , , и . Proceedings of the ACM on Programming Languages, 2 (POPL): 1--34 (27.12.2017)Formal Proof and Analysis of an Incremental Cycle Detection Algorithm., , , и . ITP, том 141 из LIPIcs, стр. 18:1-18:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Spy game: verifying a local generic solver in Iris., , и . Proc. ACM Program. Lang., 4 (POPL): 33:1-33:28 (2020)RustBelt meets relaxed memory., , , и . Proc. ACM Program. Lang., 4 (POPL): 34:1-34:29 (2020)Specifying and Verifying Higher-order Rust Iterators., и . TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 93-110. Springer, (2023)Thunks and Debits in Separation Logic with Time Credits., , , и . Proc. ACM Program. Lang., 8 (POPL): 1482-1508 (января 2024)Creusot: A Foundry for the Deductive Verification of Rust Programs., , и . ICFEM, том 13478 из Lecture Notes in Computer Science, стр. 90-105. Springer, (2022)Iris from the ground up: A modular foundation for higher-order concurrent separation logic., , , , , и . J. Funct. Program., (2018)