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

Cached

Download Links

by Jan Smans , Bart Jacobs , Frank Piessens
Citations:32 - 1 self