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

Active Bibliography

Combining dynamic frames and separation logic (soundness proof) – Jan Smans, Bart Jacobs, Frank Piessens - 2009
14 Implicit Dynamic Frames – Jan Smans, Bart Jacobs, Frank Piessens - 2011
5 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
1 Verifying Multi-object Invariants with Relationships – Stephanie Balzer, Thomas R. Gross
54 Specification and verification challenges for sequential object-oriented programs – Gary T. Leavens, K. Rustan M. Leino, Peter Müller
A Logical Account of Hoare’s Mismatch Information Hiding via Second Order Framing in Region Logic – Anindya Banerjee, David A. Naumann
Language Constructs and Features—Classes and inheritance – Dino Distefano, Matthew J. Parkinson
6 Local Reasoning for Global Invariants, Part II: Dynamic Boundaries – Anindya Banerjee, David A. Naumann
17 Boogie meets regions: A verification experience report – Anindya Banerjee, Mike Barnett, David A. Naumann - 2008
23 An automatic verifier for java-like programs based on dynamic frames – Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte - 2008
A Discipline for Program Verification based on Backpointers and its Use in Observational Disjointness – Ioannis T. Kassios, Eleftherios Kritikos
18 A unified framework for verification techniques for object invariants – S. Drossopoulou, A. Francalanza, P. Müller, A. J. Summers - 2008
5 Reasoning about Multiple Related Abstractions with MultiStar – Stephan van Staden, Cristiano Calcagno - 2010
7 Assertion-based encapsulation, object invariants and simulations – David A. Naumann - 2005
6 Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions – David A. Naumann, Anindya Banerjee
2 Specification and Automatic Verification of Frame Properties for Java-like Programs – Jan Smans - 2009
55 Regional logic for local reasoning about global invariants – Anindya Banerjee, David A. Naumann, Stan Rosenberg - 2008
1 State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings – Anindya Banerjee, David A. Naumann