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

by Jan Smans , Bart Jacobs , Frank Piessens
Citations:41 - 5 self

Active Bibliography

Combining dynamic frames and separation logic (soundness proof) – Jan Smans, Bart Jacobs, Frank Piessens - 2009
20 Implicit Dynamic Frames – Jan Smans, Bart Jacobs, Frank Piessens - 2011
Under consideration for publication in Formal Aspects of Computing Automatic Verification of Java Programs with Dynamic Frames – Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte
7 A Local Reasoning for Global Invariants, Part I: Region Logic – Anindya Banerjee, et al.
VeriFast for Java: A Tutorial – Jan Smans, Bart Jacobs, Frank Piessens
486 The Spec# Programming System: An Overview – Mike Barnett, K. Rustan M. Leino, Wolfram Schulte - 2004
3 A Formal Semantics for Isorecursive and Equirecursive State Abstractions – Alexander J. Summers, Sophia Drossopoulou
59 Specification and verification challenges for sequential object-oriented programs – Gary T. Leavens, K. Rustan M. Leino, Peter Müller
1 Verifying Multi-object Invariants with Relationships – Stephanie Balzer, Thomas R. Gross