Software Open Access

A High-Level Separation Logic for Heap Space under Garbage Collection - Artifact

Moine, Alexanrdre; Charguéraud, Arthur; Pottier, François

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 (4.6 GB)
Name Size
artifact.ova
md5:1550f30ccb6b69490ccbe029d5bd1904 		4.6 GB Download
README_artifact.md
md5:ec8236b9a8ab3c0ee48e35aea7e1e08d 		9.9 kB Download
43
6
views
downloads
All versions This version
Views 4343
Downloads 66
Data volume 22.9 GB22.9 GB
Unique views 3636
Unique downloads 55
More info on how stats are collected.
Indexed in
Publication date:
September 30, 2022
DOI:
10.5281/zenodo.7129302

Zenodo DOI Badge

DOI 

10.5281/zenodo.7129302

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.7129302.svg)](https://doi.org/10.5281/zenodo.7129302)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.7129302.svg
   :target: https://doi.org/10.5281/zenodo.7129302

HTML 

<a href="https://doi.org/10.5281/zenodo.7129302"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.7129302.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.7129302.svg

Target URL 

https://doi.org/10.5281/zenodo.7129302

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.7129302 Sep 30, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.7129301. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export