Author:
Mehnert Hannes,Sieczkowski Filip,Birkedal Lars,Sestoft Peter
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;A. Andersson,1993
2. Lecture Notes in Computer Science;J. Bengtson,2011
3. Biering, B., Birkedal, L., Torp-Smith, N.: BI-hyperdoctrines, higher-order separation logic, and abstraction. ACM Trans. Program. Lang. Syst. 29(5) (2007)
4. Lecture Notes in Computer Science;T. Dinsdale-Young,2010
5. Lecture Notes in Computer Science;T. Dinsdale-Young,2010
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specification and verification of a transient stack;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11
2. A fully verified container library;Formal Aspects of Computing;2018-09
3. Go with the flow: compositional abstractions for concurrent data structures;Proceedings of the ACM on Programming Languages;2018-01
4. Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking;IEEE Transactions on Software Engineering;2015-10-01
5. The AutoProof Verifier: Usability by Non-Experts and on Standard Code;Electronic Proceedings in Theoretical Computer Science;2015-08-14