research
∙
05/08/2023
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects
Separation logic's compositionality and local reasoning properties have ...
research
∙
01/26/2023