Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions

This publication has 18 references indexed in Scilit:

• A Verification Methodology for Model Fields
  Published by Springer Nature ,2006
• Universes: Lightweight Ownership for JML.
  The Journal of Object Technology, 2005
• Decoupling in Object Orientation
  Published by Springer Nature ,2005
• The Spec# Programming System: An Overview
  Published by Springer Nature ,2005
• Verification of Object-Oriented Programs with Invariants.
  The Journal of Object Technology, 2004
• Friends Need a Bit More: Maintaining Invariants Over Shared State
  Published by Springer Nature ,2004
• Object Invariants in Dynamic Contexts
  Published by Springer Nature ,2004
• Modular specification of frame properties in JML
  Concurrency and Computation: Practice and Experience, 2003
• Data abstraction and information hiding
  ACM Transactions on Programming Languages and Systems, 2002
• Local Reasoning about Programs that Alter Data Structures
  Published by Springer Nature ,2001