Implicit dynamic frames: Combining dynamic frames and separation logic (soundness proof (2009)

by Jan Smans , Bart Jacobs , Frank Piessens
Citations:41 - 5 self