Author:
Piskac Ruzica,Wies Thomas,Zufferey Damien
Publisher
Springer International Publishing
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Predictable Verification using Intrinsic Definitions;Proceedings of the ACM on Programming Languages;2024-06-20
2. Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
3. Deciding Boolean Separation Logic via Small Models;Lecture Notes in Computer Science;2024
4. Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic;Proceedings of the ACM on Programming Languages;2023-06-06
5. A First-order Logic with Frames;ACM Transactions on Programming Languages and Systems;2023-05-15