A model of visibility control
- 1 April 1988
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 14 (4) , 512-520
- https://doi.org/10.1109/32.4673
Abstract
A formal model for describing and evaluating visibility control mechanisms is introduced. The model reflects a general view of visibility in which the concepts of requisition of access and provision of access are distinguished. This model provides a means for characterizing and reasoning about the various properties of visibility control mechanisms. Specifically, the notion of preciseness is defined. The utility of the model is illustrated by using it to evaluate and compare the relative strengths and weaknesses, with respect to preciseness, of the visibility control mechanisms found in Algol 60, Ada, Gypsy, and an approach called PIC, which specifically addresses the concerns of visibility control in large software systems.Keywords
This publication has 15 references indexed in Scilit:
- GridsPublished by Association for Computing Machinery (ACM) ,1984
- Locality in software systemsPublished by Association for Computing Machinery (ACM) ,1983
- The formal definition of a real-time languageActa Informatica, 1981
- Is block structure necessary?Software: Practice and Experience, 1981
- The design of EdisonSoftware: Practice and Experience, 1981
- Nesting in Ada programs is for the birdsACM SIGPLAN Notices, 1980
- Survey of Scope Issues in Programming LanguagesPublished by Defense Technical Information Center (DTIC) ,1978
- A Linear Time Algorithm for Deciding Subject SecurityJournal of the ACM, 1977
- PASCAL User Manual and ReportPublished by Springer Nature ,1974
- Global variable considered harmfulACM SIGPLAN Notices, 1973