Published July 12, 2022
| Version v4
Other
Open
Fractional Resources in Unbounded Separation Logic (artifact)
Authors/Creators
- 1. ETH Zurich
- 2. The University of British Columbia
Description
This is the artifact for the OOPSLA 2022 submission “Fractional Resources in Unbounded Separation Logic”, which contains an Isabelle/HOL (version 2021-1) formalisation that proves the technical claims from the paper.
Files
README.pdf
Files
(118.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:dd90374221396e78efc2d8dbc1e440ec
|
93.9 kB | Preview Download |
|
md5:e0a6cec8851f6e43b31b53b8c5f5d5f8
|
24.1 kB | Preview Download |