Author:
Bengtson Jesper,Jensen Jonas Braband,Birkedal Lars
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Appel, A.W.: Tactics for separation logic, Draft (January 2006),
http://www.cs.princeton.edu/~appel/papers/septacs.pdf
2. Lecture Notes in Computer Science;J. Bengtson,2011
3. Lecture Notes in Computer Science;B. Biering,2005
4. Biering, B., Birkedal, L., Torp-Smith, N.: BI-hyperdoctrines, higher-order separation logic, and abstraction. ACM Trans. Program. Lang. Syst. 29(5) (2007)
5. Calcagno, C., O’Hearn, P.W., Yang, H.: Local action and abstract separation logic. In: Proceedings of LICS, pp. 366–378 (2007)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Diaframe: automated verification of fine-grained concurrent programs in Iris;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. A relational shape abstract domain;Formal Methods in System Design;2021-04-24
3. Separation logic for sequential programs (functional pearl);Proceedings of the ACM on Programming Languages;2020-08-02
4. Certifying graph-manipulating C programs via localizations within data structures;Proceedings of the ACM on Programming Languages;2019-10-10
5. Tactics for Proving Separation Logic Assertion in Coq Proof Assistant;Proceedings of the 3rd International Conference on Vision, Image and Signal Processing;2019-08-26