Author:
Nguyen Huu Hai,David Cristina,Qin Shengchao,Chin Wei-Ngan
Publisher
Springer Berlin Heidelberg
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A separation logic for heap space under garbage collection;Proceedings of the ACM on Programming Languages;2022-01-12
2. A relational shape abstract domain;Formal Methods in System Design;2021-04-24
3. Automated mutual induction proof in separation logic;Formal Aspects of Computing;2019-04
4. JaVerT 2.0: compositional symbolic execution for JavaScript;Proceedings of the ACM on Programming Languages;2019-01-02
5. Let this Graph Be Your Witness!;Computer Aided Verification;2018