A Marriage of Rely/Guarantee and Separation Logic-Reference-Cited by-同舟云学术

A Marriage of Rely/Guarantee and Separation Logic

Published: Issue: Volume: Page:256-271
ISSN:0302-9743
Container-title:CONCUR 2007 – Concurrency Theory
language:
Short-container-title:

Author:

Vafeiadis Viktor,Parkinson Matthew

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74407-8_18.pdf

Reference23 articles.

1. Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Prog. Lang. Syst. 17(3), 507–534 (1995)

2. Bornat, R., Calcagno, C., Yang, H.: Variables as resource in separation logic. ENTCS 155, 247–276 (2006)

3. Lecture Notes in Computer Science;S.D. Brookes,2004

4. Calcagno, C., Gardner, P., Zarfaty, U.: Context logic as modal logic: completeness and parametric inexpressivity. In: POPL, pp. 123–134. ACM Press, New York (2007)

5. Calcagno, C., O’Hearn, P., Yang, H.: Local action and abstract separation logic. LICS (to appear, 2007)

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

1. Scenario-Based Proofs for Concurrent Objects;Proceedings of the ACM on Programming Languages;2024-04-29

2. A Compositional Theory of Linearizability;Journal of the ACM;2024-04-12

3. Verification of Concurrent Machine Code Running on a Single-Core Machine;Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing;2024-04-08

4. ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions;Journal of Systems Architecture;2024-02

5. SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification;Journal of Systems Architecture;2024-02