An extension to the language-based access-control mechanism of Jones and Liskov
The language-based access-control mechanism of Jones and Liskov makes possible the controlled sharing of information in a programming language in a natural way. Unfortunately, many semantically correct programs cannot be written due to a deficiency in the binding rule. This paper proposes an extension to this mechanism which removes some unnecessary restrictions on the writing of access-correct programs.