On the Composition of Well-Structured Programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On the Composition of Well-Structured Programs

Full text

Pdf (832 KB)

Source

ACM Computing Surveys (CSUR) archive
Volume 6 , Issue 4 (December 1974) table of contents

Pages: 247 - 259

Year of Publication: 1974

ISSN:0360-0300

Author

Niklaus Wirth

Federal Institute of Technology (ETH) Zurich, Switzerland

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 19, Downloads (12 Months): 74, Citation Count: 37

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/356635.356639 What is a DOI?

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	DIJKSZI~A, E. 1,~. "Some mediations on advanced programming," Proc. 1FIP Congress 1962, North ttolla~d, Publ. Co., Amsterdam, The Netherlands, 535-538.
	2	Edsger W. Dijkstra, The humble programmer, Communications of the ACM, v.15 n.10, p.859-866, Oct. 1972 [doi>10.1145/355604.361591]
	3	DX$KSTaA, E. W. "Notes on structured programming," in Structured Programming Dahl, O. J.; Dijkstr~, E. W.; and Hoare, C. A. It., Academic Press, New York, 1972.
	4	Nnvt~, P., AND RAil)ELL, B. "Software engineering," Report on a conference sponsored by N ATO Science Committee, Garmisch, West Germany, October 1968.
	5	Niklaus Wirth, Program development by stepwise refinement, Communications of the ACM, v.14 n.4, p.221-227, April 1971 [doi>10.1145/362575.362577]
	6	Niklaus Wirth, Systematic Programming: An Introduction, Prentice Hall PTR, Upper Saddle River, NJ, 1973
	7	NAUR, P. "Proof of algorithms by general snapshots," BIT 6, 4 (1966), 310-316.
	8	C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969 [doi>10.1145/363235.363259]
	9	W~'LF, W. A. "Programming without the goto," Proc. IFIP Congress i971, Vol. I, North Holland Publ. Co., Amsterdam, The Netherlands, 1972, 408-413.
	10	BaI;za, F. T. 'fChief programmer team mana gement of produetio~ programming," IBM Systems J. 11, 1 (1972)i 56--73.
	11	A~~, U. "The method of structured programming applied to the development of a compiler," Pvoc. lntevnatl. Computing Symposium 197~, North Holland Publ. Co., Amsterdam, The Netherlan~Is, 1974, 93-100.
	12	WiazH, N. "The programming language Pascal," Acta InIormatica 1,1 (1971), ~5-6~. 35-63.
	13	Kathleen Jensen , Niklaus Wirth, Pascal-User Manual and Report, Springer-Verlag New York, Inc., Secaucus, NJ, 1975

CITED BY 37

	J. M. Yohe, Comments on the topic “programming, and its implication on programming languages”, Proceedings of the 1975 annual conference, p.219-220, January 1975
	Ted J. Biggerstaff, Factored Specifications In The Synthesis Of LISP Functions, Proceedings of the 1978 annual conference, p.393-402, December 04-06, 1978, Washington, D.C., United States
	Robert L. Ashenhurst, ACM forum, Communications of the ACM, v.18 n.7, p.421-423, July 1975
	Ivan M. Campos , Gerald Estrin, Specialization of SARA for software synthesis, Proceedings of the Symposium on Design Automation and Microprocessors, p.87-94, February 24-25, 1977
	John F. Schrage, Educator's view of structured concepts, Proceedings of the ACM 1980 annual conference, p.327-341, January 1980
	Marvin V. Zelkowitz, Perspectives in Software Engineering, ACM Computing Surveys (CSUR), v.10 n.2, p.197-216, June 1978
	David B. Allen , Mark R. Dempsey , Leslie H. Goldsmith, System development methodology using LOGOS, ACM SIGAPL APL Quote Quad, v.17 n.4, p.138-150, May 1987
	Roy E. Marsten, The Design of the XMP Linear Programming Library, ACM Transactions on Mathematical Software (TOMS), v.7 n.4, p.481-497, Dec. 1981
	Fletcher R. Norris, An "introduction to computing" experiment that failed, Proceedings of the 16th annual Southeast regional conference, p.150-153, April 13-15, 1978, Atlanta, Georgia
	Joshua Turner, The structure of modular program, Communications of the ACM, v.23 n.5, p.272-277, May 1980
	Pamela Zave, The operational versus the conventional approach to software development, Communications of the ACM, v.27 n.2, p.104-118, Feb. 1984
	Ralph L. London, A view of program verification, ACM SIGPLAN Notices, v.10 n.6, p.534-545, June 1975
	Herman D. Hughes, A tool designed to facilitate structured programming, ACM SIGCSE Bulletin, v.9 n.1, p.26-30, Feb 1977
	John Beidler, A place for assembler in structured programming, ACM SIGCSE Bulletin, v.9 n.1, p.108-112, Feb 1977
	Edith W. Martin , Albert N. Badre, Problem formulation for programmers, ACM SIGCSE Bulletin, v.9 n.1, p.133-138, Feb 1977
	Elliot Soloway , Kate Ehrlich , John B. Black, Beyond numbers: Don't ask “how many” ... ask “why”, Proceedings of the SIGCHI conference on Human Factors in Computing Systems, p.240-246, December 12-15, 1983, Boston, Massachusetts, United States
	Frank L. Friedman , Elliot B. Koffman, Some pedagogic considerations in teaching elementary programming using structured FORTRAN, ACM SIGCSE Bulletin, v.8 n.1, p.1-10, February 1976
	Alan Creak, Everything is Fortran, in its own way, ACM SIGPLAN Notices, v.38 n.4, April 2003
	James E. Tomayko, Anecdotes, IEEE Annals of the History of Computing, v.12 n.4, p.269-276, October 1990
	Leonard H. Weiner, The roots of structured programming, ACM SIGCSE Bulletin, v.10 n.1, February 1978
	Karel Culik, What is a flowchart loop and about structured programming, ACM SIGPLAN Notices, v.15 n.1, p.45-57, January 1980
	Anthony I. Wasserman, Issues in programming language design: an overview, ACM SIGPLAN Notices, v.10 n.7, July 1975
	Henry D. Shapiro, The results of an informal study to evaluate the effectiveness of teaching structured programming, ACM SIGCSE Bulletin, v.12 n.4, p.50-56, December 1980
	H. C. Heacox, RDL: a language for software development, ACM SIGPLAN Notices, v.14 n.12, p.71-79, December 1979
	Elliot Soloway , Jeffrey Bonar , Kate Ehrlich, Cognitive strategies and looping constructs: an empirical study, Communications of the ACM, v.26 n.11, p.853-860, Nov. 1983
	CORPORATE Tech Correspondence, Technical correspondence, Communications of the ACM, v.30 n.7, p.632-634, July 1987
	Frederic H. Wild, III, A comparison of experiences with the maintenance of object-oriented systems: Ada vs. C++, Proceedings of the conference on TRI-ADA '90, p.66-73, December 03-06, 1990, Baltimore, Maryland, United States
	Nobuyoshi Terashima, The hierarchical language system, ACM SIGPLAN Notices, v.12 n.9, p.103-113, September 1977
	Daniel E. O'Leary, Developing Multiple-Agent Systems Is More than Top-Down vs. Bottom-Up, IEEE Intelligent Systems, v.13 n.2, p.2-4, March 1998
	Peter J. Denning, Comments on mathematical overkill, ACM SIGPLAN Notices, v.10 n.9, September 1975
	Tia Watts, The SFC editor a graphical tool for algorithm development, Journal of Computing Sciences in Colleges, v.20 n.2, p.73-85, December 2004
	Ken Kennedy , Linda Zucconi, Applications of a graph grammar for program control flow analysis, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.72-85, January 17-19, 1977, Los Angeles, California
	Daniel M. Berry , Nancy Yavne , Moshe Yavne, On the requirements for the use of a program design language: parameterization, abstract data typing, strong typing, ACM SIGAda Ada Letters, v.VI n.1, p.82-89, Jan. 1986
	Roy F. Keller, A modern beginning programming course, Proceedings of the June 7-10, 1976, national computer conference and exposition, June 07-10, 1976, New York, New York
	Nancy Pennington , Adrienne Y. Lee , Bob Rehder, Cognitive activities and levels of abstraction in procedural and object-oriented design, Human-Computer Interaction, v.10 n.2, p.171-226, September 1995
	C. Jinshong Hwang, Structured D-chart: a diagrammatic methodology in structured programming, Proceedings of the June 7-10, 1982, national computer conference, June 07-10, 1982, Houston, Texas
	Anthony I. Wasserman, Issues in programming language design: an overview, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California