A Language Extension for Expressing Constraints on Data Access

Anita K. Jones, Barbara Liskov. A Language Extension for Expressing Constraints on Data Access. Communications of the ACM, 21(5):358-367, 1978.

Abstract

Abstract is missing.