research
∙
08/05/2023
A denotationally-based program logic for higher-order store
Separation logic is used to reason locally about stateful programs. Stat...
share
research
∙
03/24/2022