Author:
Demri Stéphane,Deters Morgan
Funder
Air Force Office of Scientific Research
National Science Foundation
EU 7th Framework Programme
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A First-order Logic with Frames;ACM Transactions on Programming Languages and Systems;2023-05-15
2. An Algebraic Glimpse at Bunched Implications and Separation Logic;Outstanding Contributions to Logic;2021-12-14
3. Copy and remove as dynamic operators;Journal of Applied Non-Classical Logics;2021-08-23
4. A Complete Axiomatisation for Quantifier-Free Separation Logic;Logical Methods in Computer Science;2021-08-10
5. SL-COMP: competition of solvers for separation logic;International Journal on Software Tools for Technology Transfer;2021-05-31