Simon Friis Vindum, Aïna Linn Georges, Lars Birkedal: The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic. CPP 2025: 83-97