Software Open Access

A Separation Logic for Heap Space under Garbage Collection - Artifact

Jean-Marie Madiot; François Pottier

This is the artifact corresponding to the article entitled A Separation Logic for Heap Space under Garbage Collection, and its associated documentation.

Files (4.1 GB)
Name Size
artifact-readme.md
md5:30199f7a07c0484e576eaae5b5a0b78e
6.0 kB Download
artifact-readme.pdf
md5:6fdf928cdf13c5bdb18f1287cc40cd41
137.8 kB Download
artifact.ova
md5:7b5337badbf4b9bf8b6a9ba784092632
4.1 GB Download
122
39
views
downloads
All versions This version
Views 122122
Downloads 3939
Data volume 20.3 GB20.3 GB
Unique views 112112
Unique downloads 2929

Share

Cite as