Revised report on the algorithm language ALGOL 60
Communications of the ACM
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
Structured programming with limited private types in Ada: nesting if for the soaring eagles
ACM SIGAda Ada Letters
A mechanism for specifying the structure of large, layered, object-oriented programs
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Scaling down Ada (or towards a standard Ada subset)
Communications of the ACM
Communications of the ACM
An analysis of C machine support for other block-structured languages
ACM SIGARCH Computer Architecture News
Nesting in an Object-Oriented Language is NOT for the Birds
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
An efficient separate compilation strategy for very large programs
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
The case against Pascal as a teaching tool
ACM SIGPLAN Notices
More on block structure: using Ada
ACM SIGAda Ada Letters
Capability Based Tagged Architectures
IEEE Transactions on Computers
Hi-index | 0.03 |
Given a data abstraction construct like the Ada package and in light of current thoughts on programming methodology, we feel that nesting is an anachronism. In this paper we propose a nest-free program style for Ada that eschews nested program units and declarations within blocks and instead heavily utilizes packages and context specifications as mechanisms for controlling visibility. We view this proposal as a first step toward the development of programming methods that exploit the novel language features available in Ada. Consideration of this proposal's ramifications for data flow, control flow, and overall program structure substantiates our contention that a tree structure is seldom a natural representation of a program and that nesting therefore generally interferes with program development and readability.