The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic.

Simon Friis Vindum, Ana Linn Georges, Lars Birkedal

Browse the full CPP paper archive.