Published July 12, 2022
| Version v2
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
(218.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:7a16c03595d3b21565f24737e71a579b
|
16.7 kB | Download |
|
md5:7e8f6f0b380f5f8cf7d8ae253823a31a
|
17.0 kB | Download |
|
md5:8cdaece17f32104c92086bb745bc34ff
|
41.9 kB | Download |
|
md5:815ca599c9df247a0c7f619bab123dad
|
16.7 kB | Download |
|
md5:81b0a8121838003cee241cad9f47a597
|
9.6 kB | Download |
|
md5:888ae7f4d1c21aa8911cbdc53d08b4a3
|
95.1 kB | Preview Download |
|
md5:877e1a62c8645ee9261d25bc78c6bb40
|
135 Bytes | Download |
|
md5:e9f29a5290c7964907745e8edf0ae175
|
15.3 kB | Download |
|
md5:5c8367986ab32db4f5f5d79b9b842d4a
|
5.5 kB | Download |