A generalized control structure and its formal definition

Communications of the ACM

Volumn 26, Issue 8, 1983, Pages 572-581

  Parnas, David Lorge ^a  

^a UNIVERSITY OF VICTORIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING;

EID: 0020805391     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/358161.358168     Document Type: Article

References (11)

1. ACM statement on ADA. Comm. ACM 25, 2 (Feb. 1982).
2. de Bruijn, N.G. Private communication.
3. Dijkstra, E.W. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, N.J., 1976.
4. Forthofer, M.J. Extending PDL to include a search superstructure. Tech. Rept. FSD 81-0010, Federal Systems Div., IBM Corp., Bethesda, Md., Apr. 1981.
5. Gries, D. The Science of Programming. Springer-Verlag, New York, N.Y., 1981.
6. Linger, R.C., Mills, H.D., and Witt, B.I. Structured Programming Theory and Practice. Addison-Wesley, Reading, Mass., (1979).
7. Maddux, R.A. A study of computer program structure. Ph.d. dissertation, Dept. Systems Design, Univ. Waterloo, Canada; 1975.
8. Mills, H.D. Functional semantics for sequential programs. Proc. IFIP 1980, North-Holland, Amsterdam.
9. Mills, H.D. The new math of computer programming. Comm. ACM 18, 1 (Jan. 1975), 43-48.
10. Parnas, D.L. An alternative control structure and its formal definition. IBM Tech. Rept. TR FSD-81-0012, IBM Corp., Bethesda, Md., 1981.
11. Stanat, D.F., McAllister, D.F. Discrete Mathematics in Computer Science. Prentice-Hall, Englewood Cliffs, N.J., 1977.