The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - December (1976 vol.2)
pp: 277-285
A.K. Jones , Department of Computer Science, Carnegie-Mellon University
ABSTRACT
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
CITATION
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, December 1976, doi:10.1109/TSE.1976.233833
21 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool