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

by Jan Smans, Bart Jacobs, Frank Piessens
Venue:In Sophia Drossopoulou, editor, ECOOP 2009 — Object-Oriented Programming, Lecture Notes in Computer Science