Author:
Berdine Josh,Calcagno Cristiano,O’Hearn Peter W.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;J. Berdine,2004
2. Berdine, J., Calcagno, C., O’Hearn, P.W.: Smallfoot: A tool for checking Separation Logic footprint specifications. In preparation (2005)
3. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL 1977, pp. 238–252 (1977)
4. Ishtiaq, S.S., O’Hearn, P.W.: BI as an assertion language for mutable data structures. In: POPL 2001, pp. 14–26 (2001)
5. Jia, L., Walker, D.: ILC: A foundation for automated reasoning about pointer programs. Draft (April 2005)
Cited by
169 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Survey of Ethereum Smart Contract Security: Attacks and Detection;Distributed Ledger Technologies: Research and Practice;2024-09-09
2. Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects;Proceedings of the ACM on Programming Languages;2024-04-29
3. Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
4. Unification for Subformula Linking under Quantifiers;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
5. Formalizing, Verifying and Applying ISA Security Guarantees as Universal Contracts;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15