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

Cached

Download Links

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

Document Versions

Implicit dynamic frames: Combining dynamic frames and separation logic (soundness proof –Jan Smans, Bart Jacobs, Frank Piessens — 2009