Published October 9, 2023 | Version v1
Software Open

DisLog: A Separation Logic for Disentanglement - Artifact

Creators

  • 1. Inria
  • 2. Carnegie Mellon University

Description

This is the artifact corresponding to the article entitled "DisLog: A Separation Logic for Disentanglement", and its associated documentation.

Files

README_artifact.md

Files (1.8 GB)

Name Size Download all
md5:9074bb5078982a18c78fd8176cac3523
1.8 GB Download
md5:e298ad77aa141d1be07269cbbeacd0e8
1.6 MB Download
md5:6670dc87314965deb85bba2286d41dd0
7.8 kB Preview Download