Published September 30, 2022
| Version v1
Software
Open
A High-Level Separation Logic for Heap Space under Garbage Collection - Artifact
- 1. Inria
- 2. Inria & Université de Strasbourg, CNRS, ICube
Description
This is the artifact corresponding to the article entitled "A High-Level Separation Logic for Heap Space under Garbage Collection", and its associated documentation.
Files
README_artifact.md
Files
(4.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:1550f30ccb6b69490ccbe029d5bd1904
|
4.6 GB | Download |
|
md5:ec8236b9a8ab3c0ee48e35aea7e1e08d
|
9.9 kB | Preview Download |