Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
CLU reference manual
Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Common LISP: the language
IEEE Transactions on Software Engineering
A Linear Time Algorithm for Deciding Subject Security
Journal of the ACM (JACM)
A Discipline of Programming
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
PASCAL user manual and report
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Grids: A new program structuring mechanism based on layered graphs
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Nesting in Ada programs is for the birds
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
Language and tool support for precise interface control (environments, programming languages, module interconnection)
Global variable considered harmful
ACM SIGPLAN Notices
IEEE Transactions on Software Engineering
PLEIADES: an object management system for software engineering environments
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Formalization and application of a unifying model for name management
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems
Automated Software Engineering
Extracting and Restructuring the Design of Large Systems
IEEE Software
Documenting-in-the-large vs. documenting-in-the-small
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Viewcharts: Syntax and Semantics
Informatica
A new method for describing the syntax and semantics of VIEWCHARTS
ISPA'07 Proceedings of the 2007 international conference on Frontiers of High Performance Computing and Networking
Hi-index | 0.00 |
A number of mechanisms have been created for controlling entity visibility. As with most language concepts in computer science, visibility control mechanisms have been developed in an essentially ad hoc fashion, with no clear indication given by their designers as to how one proposed mechanism relates to another. This paper introduces a formal model for describing and evaluating visibility control mechanisms. 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, a notion of preciseness is defined in this paper. 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 Algol60, Ada, Gypsy, and an approach we have developed, called PIG, that specifically addresses the concerns of visibility control in large software systems.