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

by J Smans, B Jacobs, F Piessens
Venue:In European Conference on Object-Oriented Programming