<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Artifact for "Thunks and Debits in Separation Logic with Time Credits"

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 10 Oct 2023Publisher:Zenodo

Authors: Pottier, François; Guéneau, Armaël; Jourdan, Jacques-Henri; Mével, Glen;

doi: 10.5281/zenodo.8425002 , 10.5281/zenodo.10023424 , 10.5281/zenodo.8425003

Artifact for "Thunks and Debits in Separation Logic with Time Credits"

- Summary

Abstract

This is the artifact for POPL'24 paper "Thunks and Debits in Separation Logic with Time Credits".

Related Organizations

Laboratoire Méthodes Formelles
France
French National Centre for Scientific Research
France
University of Paris-Saclay
France

Found an issue? Give us feedback