Published July 12, 2022
| Version v5
Other
Open
Fractional Resources in Unbounded Separation Logic (artifact)
- 1. ETH Zurich
- 2. The University of British Columbia
Description
This is the artifact for the OOPSLA 2022 paper “Fractional Resources in Unbounded Separation Logic”, which contains an Isabelle/HOL (version 2021-1) formalisation that proves the technical claims from the paper.
Files
artifact_unboundedSL.zip
Files
(207.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:316da54550aea5d42b3d7c74f9b1004e
|
113.7 kB | Preview Download |
|
md5:dd90374221396e78efc2d8dbc1e440ec
|
93.9 kB | Preview Download |
Additional details
Funding
- Swiss National Science Foundation
- Formal Foundations of Translational Program Verifiers 197065