Filtrer vos résultats
- 4
- 3
- 1
- 4
- 1
- 1
- 1
- 1
- 4
- 4
- 2
- 2
- 1
- 4
- 4
- 3
- 1
4 résultats
|
|
triés par
|
|
Cosmo: A Concurrent Separation Logic for Multicore OCamlProceedings of the ACM on Programming Languages, 2020, 4 (ICFP), ⟨10.1145/3408978⟩
Article dans une revue
hal-02929998v1
|
||
|
Time Credits and Time Receipts in IrisEuropean Symposium on Programming, Apr 2019, Prague, Czech Republic. pp.3-29, ⟨10.1007/978-3-030-17184-1_1⟩
Communication dans un congrès
hal-02183311v1
|
||
|
Formal Verification of a Concurrent Bounded Queue in a Weak Memory ModelICFP 2021 - 26th ACM SIGPLAN International Conference on Functional Programming, Aug 2021, Virtual, Japan. ⟨10.1145/3473571⟩
Communication dans un congrès
hal-03298759v1
|
||
|
Thunks and Debits in Separation Logic with Time CreditsPOPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages, SIGPLAN, Jan 2024, Londres, United Kingdom
Communication dans un congrès
hal-04238691v2
|