Cited By
View all- Zhao QPîrlea GAng ZMathur USergey ITimany ATraytel DPientka BBlazy S(2024)Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation LogicProceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3636501.3636944(45-59)Online publication date: 9-Jan-2024
- Wu JCao Q(2024)Extending Symbolic Heap to Support Shared OwnershipDependable Software Engineering. Theories, Tools, and Applications10.1007/978-981-96-0602-3_3(46-63)Online publication date: 25-Nov-2024
- Murali APeña LLöding CMadhusudan P(2023)A First-order Logic with FramesACM Transactions on Programming Languages and Systems10.1145/358305745:2(1-44)Online publication date: 15-May-2023
- Show More Cited By