Friends Need a Bit More: Maintaining Invariants Over Shared State

Authors:

Publisher website

1 January 2004

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 54-84
DOI:10.1007/978-3-540-27764-4_5

Abstract

No abstract available

Keywords

This publication has 18 references indexed in Scilit:

Object Invariants in Dynamic Contexts
2004
Runtime verification of .NET contracts
Journal of Systems and Software, 2003
Ownership types for object encapsulation
2003
Data abstraction and information hiding
ACM Transactions on Programming Languages and Systems, 2002
Extended static checking for Java
2002
Ownership, encapsulation and the disjointness of type and effect
2002
Simple Ownership Types for Object Containment
2001
Verification of Sequential and Concurrent Programs
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