This Article 
 Bibliographic References 
 Add to: 
A Language Extension for Controlling Access to Shared Data
December 1976 (vol. 2 no. 4)
pp. 277-285
A.K. Jones, Department of Computer Science, Carnegie-Mellon University
Controlled sharing of information is needed for many applications. Access-control mechanisms exist in operating systems to provide such controlled sharing. However, programming languages currently do not support such a facility. This paper illustrates how an access-control facility could be incorporated in a programming language. The mechanism described is suitable for incorporation in object-oriented languages that permit the definition of abstract data types, and is defmed in a way that enables compile-time checking of access control.
Index Terms:
type checking, Access control, capabilities, data types, programming languages
A.K. Jones, B.H. Liskov, "A Language Extension for Controlling Access to Shared Data," IEEE Transactions on Software Engineering, vol. 2, no. 4, pp. 277-285, Dec. 1976, doi:10.1109/TSE.1976.233833
Usage of this product signifies your acceptance of the Terms of Use.