Planned intervention: On Wednesday June 26th 05:30 UTC Zenodo will be unavailable for 10-20 minutes to perform a storage cluster upgrade.
Published October 6, 2021 | Version v1
Software Open

A Separation Logic for Heap Space under Garbage Collection - Artifact

  • 1. Inria

Description

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

Files

artifact-readme.md

Files (4.1 GB)

Name Size Download all
md5:30199f7a07c0484e576eaae5b5a0b78e
6.0 kB Preview Download
md5:6fdf928cdf13c5bdb18f1287cc40cd41
137.8 kB Preview Download
md5:7b5337badbf4b9bf8b6a9ba784092632
4.1 GB Download