On the Static Access-Control Mechanism in Concurrent Pascal

@article{Kieburtz1982OnTS,
  title={On the Static Access-Control Mechanism in Concurrent Pascal},
  author={Richard B. Kieburtz and Abraham Silberschatz},
  journal={Comput. J.},
  year={1982},
  volume={25},
  pages={17-21}
}
In Concurrent Pascal, an explicit hierarchy of access rights to abstract variables is stated in the program text and checked by the compiler. This declarative control of static access rights provides a considerable degree of protection against unauthorized use of an abstract variable by an errant program component. However, there are cases in which the mechanism of Concurrent Pascal falls short of enforcing the principle that each program component should have within its name space only those… CONTINUE READING

Topics from this paper.