Implicit dynamic frames: Combining dynamic frames and separation logic (soundness proof (2009)
by
Jan Smans
,
Bart Jacobs
,
Frank Piessens
| Citations: | 22 - 1 self |
Document Versions
| Implicit dynamic frames: Combining dynamic frames and separation logic (soundness proof –Jan Smans, Bart Jacobs, Frank Piessens — 2009 |
