학술논문
Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic
Document Type
Conference Paper
Author
Source
In: CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 , CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024. (CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024, 9 January 2024, :45-59)
Subject
Language
English