|
ABSTRACT
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.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
ANSI X3.9 - 1966 (USA Standard FORTRAN).
|
| |
2
|
Buxton, J.N., Requirements for Ada Programming Support Environments, ("Stoneman"), United States Department of Defense, February 1980.
|
| |
3
|
Ichbiah, J.D., et al., Reference Manual for the Ada Programming Language, United States Department of Defense, July 1980.
|
| |
4
|
Liskov, B.H. and Zilles, S.N., "Specification Techniques for Data Abstractions", IEEE Transactions on Software Engineering, SE-1, 1 (March 1975), pp. 7-18.
|
 |
5
|
J. W. Backus , F. L. Bauer , J. Green , C. Katz , J. McCarthy , A. J. Perlis , H. Rutishauser , K. Samelson , B. Vauquois , J. H. Wegstein , A. van Wijngaarden , M. Woodger , P. Naur, Revised report on the algorithm language ALGOL 60, Communications of the ACM, v.6 n.1, p.1-17, Jan. 1963
[doi> 10.1145/366193.366201]
|
| |
6
|
Wortman, D.B. (ed.),"Proceedings of an ACM Conference on Language Design for Reliable Software", SIGPLAN Notices, 12, 3 (March 1977).
|
CITED BY 16
|
|
|
|
|
|
|
|
|
|
|
Gregory R. Andrews , Michael Coffin , Irving Elshoff , Kelvin Nilson , Gregg Townsend , Ronald A. Olsson , Titus Purdin, An overview of the SR language and implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.51-86, Jan. 1988
|
|
|
|
|
|
Arthur G. Duncan , John S. Hutchison , John W. Bailey , Thomas M. Chapman , Andrew Fregly , Elizabeth Kruesi , Thomas McDonald , Dennis Merrill , Sylvia B. Sheppard, Communication system design using ADA, Proceedings of the 7th international conference on Software engineering, p.398-407, March 26-29, 1984, Orlando, Florida, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|