Author:
Gotsman Alexey,Berdine Josh,Cook Byron,Sagiv Mooly
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 2-Pointer Logic;Lecture Notes in Computer Science;2024
2. A Decision Procedure for Guarded Separation Logic Complete Entailment Checking for Separation Logic with Inductive Definitions;ACM Transactions on Computational Logic;2023-01-18
3. Static executes-before analysis for event driven programs;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
4. Concurrent incorrectness separation logic;Proceedings of the ACM on Programming Languages;2022-01-12
5. Foundations for Entailment Checking in Quantitative Separation Logic;Programming Languages and Systems;2022