An Asynchronous Soundness Theorem for Concurrent Separation Logic-Reference-Cited by-同舟云学术

An Asynchronous Soundness Theorem for Concurrent Separation Logic

Published:2018-07-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
language:
Short-container-title:

Author:

Melliès Paul-André¹,Stefanesco Léo²

Affiliation:

1. IRIF, CNRS & Université Paris Diderot

2. IRIF, Université Paris Diderot & CNRS

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3209108.3209116

Reference20 articles.

1. Thibaut Balabonski François Pottier and Jonathan Protzenko. 2014. Type Soundness and Race Freedom for Mezzo. In FLOPS. Thibaut Balabonski François Pottier and Jonathan Protzenko. 2014. Type Soundness and Race Freedom for Mezzo. In FLOPS.

2. Richard Bornat Cristiano Calcagno Peter O'Hearn and Matthew Parkinson. 2005. Permission Accounting in Separation Logic. In POPL. 10.1145/1040305.1040327 Richard Bornat Cristiano Calcagno Peter O'Hearn and Matthew Parkinson. 2005. Permission Accounting in Separation Logic. In POPL. 10.1145/1040305.1040327

3. Variables as Resource in Separation Logic

4. Gérard Boudol and Gustavo Petri. 2009. Relaxed Memory Models: An Operational Approach (POPL). 10.1145/1480881.1480930 Gérard Boudol and Gustavo Petri. 2009. Relaxed Memory Models: An Operational Approach (POPL). 10.1145/1480881.1480930

5. Stephen Brookes. 2004. A semantics for concurrent separation logic. In CONCUR. Stephen Brookes. 2004. A semantics for concurrent separation logic. In CONCUR.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Layered and object-based game semantics;Proceedings of the ACM on Programming Languages;2022-01-12

2. Concurrent Separation Logic Meets Template Games;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08

3. Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side;Proceedings of the ACM on Programming Languages;2019-01-02

4. Categorical combinatorics of scheduling and synchronization in game semantics;Proceedings of the ACM on Programming Languages;2019-01-02