RefinedC: automating the foundational verification of C code with refined ownership types-Reference-Cited by-同舟云学术

RefinedC: automating the foundational verification of C code with refined ownership types

Published:2021-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Sammler Michael¹,Lepigre Rodolphe¹,Krebbers Robbert²,Memarian Kayvan³,Dreyer Derek¹,Garg Deepak¹^ORCID

Affiliation:

1. MPI-SWS, Germany

2. Radboud University Nijmegen, Netherlands

3. University of Cambridge, UK

Funder

European Research Council

Engineering and Physical Sciences Research Council

Nederlandse Organisatie voor Wetenschappelijk Onderzoek

Publisher

ACM

Link

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

Reference105 articles.

1. Logic Programming with Focusing Proofs in Linear Logic

2. Bunched Logic Programming

3. Predicate Abstraction for Linked Data Structures

4. Mark Batty Scott Owens Susmit Sarkar Peter Sewell and Tjark Weber. 2011. Mathematizing C++ concurrency. In POPL. ACM 55–66. https://doi.org/10.1145/1926385.1926394 10.1145/1926385.1926394 Mark Batty Scott Owens Susmit Sarkar Peter Sewell and Tjark Weber. 2011. Mathematizing C++ concurrency. In POPL. ACM 55–66. https://doi.org/10.1145/1926385.1926394 10.1145/1926385.1926394

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

1. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10

2. RefinedRust: A Type System for High-Assurance Verification of Rust Programs;Proceedings of the ACM on Programming Languages;2024-06-20

3. Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq;Proceedings of the ACM on Programming Languages;2024-06-20

4. Interactive Source-to-Source Optimizations Validated using Static Resource Analysis;Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis;2024-06-20

5. C Programs Formal Verification Using Maude;2024 4th International Conference on Innovative Research in Applied Science, Engineering and Technology (IRASET);2024-05-16