Friends Need a Bit More: Maintaining Invariants Over Shared State

This publication has 18 references indexed in Scilit:

• Object Invariants in Dynamic Contexts
  Published by Springer Nature ,2004
• Runtime verification of .NET contracts
  Journal of Systems and Software, 2003
• Ownership types for object encapsulation
  Published by Association for Computing Machinery (ACM) ,2003
• Data abstraction and information hiding
  ACM Transactions on Programming Languages and Systems, 2002
• Extended static checking for Java
  Published by Association for Computing Machinery (ACM) ,2002
• Ownership, encapsulation and the disjointness of type and effect
  Published by Association for Computing Machinery (ACM) ,2002
• Simple Ownership Types for Object Containment
  Published by Springer Nature ,2001
• Verification of Sequential and Concurrent Programs
  Published by Springer Nature ,1997
• A behavioral notion of subtyping
  ACM Transactions on Programming Languages and Systems, 1994
• Tentative steps toward a development method for interfering programs
  ACM Transactions on Programming Languages and Systems, 1983