Published December 12, 2023
| Version v1.0.0
Software
Open
Artefact for Article 'Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic'
-
1.
National University of Singapore
Description
This is the research artefact for the article Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic which has been accepted to 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2024). Please see the README.md file inside the zip archive for detailed instructions.
Files
arboreta.zip
Files
(138.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:840b35dfa09577cf5012664209fafd33
|
137.3 kB | Preview Download |
|
md5:7755db838109b20f3ce3a9e1095bcc6d
|
1.5 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.1145/3636501.3636944 (DOI)