ACM Home Page
Please provide us with feedback. Feedback
Nesting in Ada programs is for the birds
Source Proceedings of the ACM-SIGPLAN symposium on The ADA programming language table of contents
Pages: 139 - 145  
Year of Publication: 1980
ISBN:0-89791-030-3
Authors
Sponsor
SIGADA: ACM Special Interest Group on Ada Programming Language
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): n/a,   Downloads (12 Months): n/a,   Citation Count: 16
Additional Information:

abstract   references   cited by   index terms   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/800004.807944
What is a DOI?

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
 
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

Collaborative Colleagues:
Lori A. Clarke: colleagues
Jack C. Wileden: colleagues
Alexander L. Wolf: colleagues