Published October 20, 2023
| Version v2
Software
Open
Artifact for "Thunks and Debits in Separation Logic with Time Credits"
Authors/Creators
- 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".