Affiliation:
1. Amdahl Corporation
2. The University of Texas at Austin
Abstract
The concept of “protection” in programming languages refers to the ability to express directly in the language the desired access control relationships for all objects defined in the language. The use of such mechanisms as
data types, scope, parameter passing
mechanisms,
routines as parameters, abstract data types,
and
capabilities
in Pascal, Concurrent Pascal, Euclid, Clu, and Gypsy are explored via a simple example which embodies many protection problems. The usefulness of language defined and enforced protection mechanisms to the process of formal verification is discussed.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A hierarchical multimicroprocessor system for object oriented languages;Microprocessing and Microprogramming;1987-02
2. A standard Pascal event simulation package;Software: Practice and Experience;1984-07
3. Letters to the editor: A protection model and its implementation in a dataflow system;Communications of the ACM;1982-09
4. Gypsy;ACM SIGOPS Operating Systems Review;1977-04
5. Gypsy;ACM SIGSOFT Software Engineering Notes;1977-03