Published September 30, 2022 | Version v1
Software Open

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

Authors/Creators

  • 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
md5:1550f30ccb6b69490ccbe029d5bd1904
4.6 GB Download
md5:ec8236b9a8ab3c0ee48e35aea7e1e08d
9.9 kB Preview Download