Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Glen Mével, Jacques-Henri Jourdan, François Pottier. Cosmo: a concurrent separation logic for multicore OCaml. Proceedings of the ACM on Programming Languages, 4(ICFP), 2020. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: A mechanized program logic for concurrent programs with the weak memory model of Multicore OCaml. (Une logique de programme mécanisée pour les programmes concurrents dans le modèle mémoire faible de Multicore OCaml)Glen Mével. PhD thesis, Paris Cité University, France, 2022. [doi]
The following publications are possibly variants of this publication: