Published October 20, 2023
| Version v2
Software
Open
Artifact for "Thunks and Debits in Separation Logic with Time Credits"
- 1. Inria
- 2. Université Paris-Saclay, Inria, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France.
- 3. Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France.
Description
This is the artifact for POPL'24 paper "Thunks and Debits in Separation Logic with Time Credits".
Files
Files
(2.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:99fb6deef3cc4c7aacb0a1cbd8e13f5e
|
2.6 GB | Download |
|
md5:749772e25f26ee707368e195d0141325
|
181.0 kB | Download |