skip to main content
article
Free Access

The roots of structured programming

Published:01 February 1978Publication History
First page image

References

  1. ABRA75 Abrahams, P., "Structured Programming Considered Harmful", Sigplan Notices, (10, 4), 1975, pp. 13--24.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. ACM72 Proceedings of an ACM Conference on Proving Assertions About Programs, Sigplan Notices, (7, 1) and Sigact News, (14), Jan. 1972, 211 pp. + iv.]]Google ScholarGoogle Scholar
  3. ACM74 ACM Computing Surveys, Special Issue on Programming, P. Denning (ed), (6, 4), Dec. 1974, 113 pages.]]Google ScholarGoogle Scholar
  4. ACM75 Proceedings of International Conference on Reliable Software, Sigplan Notices, (10, 6), June, 1975, 567 pp. + vii.]]Google ScholarGoogle Scholar
  5. ASHC71 Ashcroft, E. and Manna, Z., "The Translation of goto Programs to While Programs", Proc. of IFIP Cong. 71, Vol. 1, 1971, pp. 250--255.]]Google ScholarGoogle Scholar
  6. BAKE71 Baker, F. T., "The Chief Programmer Team Experiment", IBM Technical Information Exchange Forum, Spring 1971.]]Google ScholarGoogle Scholar
  7. BAKE72 Baker, F. T., "Chief Programmer Team Management of Production Programming", IBM Systems Journal, (11, 1), 1972, pp. 56--71.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. BAKE75 Baker, F. T., "Structured Programming in a Production Environment", Sigplan Notices, (10, 6), 1975, pp. 172--185.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. BOCH73 Bochmann, G. V., "Multiple Exits Froma Loop Without the Goto", CAM, (16, 7), 1973, pp. 443--444.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. BOEH76 Boehm, B. W., "Software Engineering", IEEETC, (C-25, 12), Dec. 1976, pp. 1226--1241.]]Google ScholarGoogle Scholar
  11. BOHM66 Bohm, C. and Jacopini, G., "Flow Diagrams, Turing Machines, and Languages With Only Two Formation Rules", CACM, (9, 5), 1966, pp. 366--371.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. BOWL77 Bowles, K. L., Microcomputer Problem Solving Using Pascal, Springer-Verlag, 1977.]]Google ScholarGoogle Scholar
  13. BRUN72 Bruno, J. and Steiglitz, K., "The Expression of Algorithms By Charts", JACM, (19, 3), July 1972, pp. 517--525.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. COMP75A Computer-Special Issue on Software Engineering, R. Yeh (ed), (8, 5), May 1975.]]Google ScholarGoogle Scholar
  15. COMP75B Computer-Special Issue on Structured Programming, W. Ross (ed), (8, 6), June 1975.]]Google ScholarGoogle Scholar
  16. CONW76A Conway, R., Gries, D. and Zimmerman, E. C., A Primer on Pascal, Winthrop, 1976.]]Google ScholarGoogle Scholar
  17. CONW76B Conway, R. and Gries, D., Primer on Structured Programming, Winthrop, 1976.]]Google ScholarGoogle Scholar
  18. DAHL72 Dahl, O. J., Dijkstra, E. W. and Hoare, C. A. R., Structured Programming, Academic Press, 1972.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. DATA73 Special Issue on Structured Programming. Datamation, (19, 12), 1973.]]Google ScholarGoogle Scholar
  20. DENN73 Denning, P., "Is it Not Time to Define Structured Programming?" Sigplan Notices, Oct. 1973.]]Google ScholarGoogle Scholar
  21. DIJK65 Dijkstra, E. W., "Programming Considered as a Human Activity", Proc. of IFIP Cong., May 1965, pp. 213--217.]]Google ScholarGoogle Scholar
  22. DIJK68A Dijkstra, E. W., "Go To Statement Considered Harmful", Letters to the Editor, CACM, (11, 3), 1968, pp. 147--148.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. DIJK68B Dijkstra, E. W., "A Constructive Approach to the Problem of Program Correctness", BIT, (8), 1963, pp. 174--186.]]Google ScholarGoogle Scholar
  24. DIJK69 Dijkstra, E. W., Notes on Structured Programming, T. H. E. EWD249, August 1969.]]Google ScholarGoogle Scholar
  25. DIJK72A Dijkstra, E. W., "The Humble Programmer", CACM, (15, 10), 1972, pp. 859--865.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. DIJK72B Dijkstra, E. W., "Notes on Structured Programming", Structured Programming, Academic Press, New York, 1972, pp. 1--82.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. DIJK75 Dijkstra, E. W., "Correctness Concerns and Among Other Things Why They Are Resented", Sigplan Notices, (10, 6), 1975, pp. 546--551.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. DIJK76 Dijkstra, E. W., A Discipline of Programming, Prentice-Hall, 1976.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. DUWO72 DuWorks, R. J. and Smoliar, S. W., "The Arrogant Programmer: Dijkstra and Wegner Considered Harmful", SIGCSE Bulletin, (4, 4), Dec. 1972, pp. 19--21.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. ELSP72 Elspas, B., Levitt, K. N., Waldinger, R. J., and Waksman, A., "An Assessment of Techniques for Proving Program Correctness", Computing Surveys, (4, 2), 1972, pp. 97--147.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  31. FLOY67 Floyd, R. W., "Assigning Meanings to Programs", Proc., Symp. in Appl. Math., Vol. 19, AMS, 1967, pp. 19--32.]]Google ScholarGoogle Scholar
  32. FLOY71 Floyd, R. W., "Toward Interactive Design of Correct Programs", Proceedings of IFIP Cong. 71, Vol. 1, pp. 7--10.]]Google ScholarGoogle Scholar
  33. FRIE77 Friedman, F. L. and Koffman, E. B., Problem Solving and Structured Programming in Fortran, Addison-Wesley, 1977.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. FRID74 Friedman, D. and Shapiro, S., "A Case for While-Until", Sigplan Notices, (9, 7), July 1974, pp. 7--14.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. GELL76 Geller, D. P. and Freedman, D. P., Structured Programming in APL, Winthrop, 1976.]]Google ScholarGoogle Scholar
  36. GRIE74A Gries, D., "What Should We Teach in an Introductory Programming Course", ACMSIGCSE Bulletin, Feb. 1974, pp. 81--89.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. GRIE74B Gries, D., "On Structured Programming - A Reply to Smoliar", CACM, (17, 11), 1974, pp. 655--657.]]Google ScholarGoogle Scholar
  38. HAIN73 Haines, E. C., "AL: A Structured Assembly Language", Sigplan Notices, (8, 1), 1973, pp. 15--20; (8, 4), 1973, pp. 16--21.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  39. HANS73 Hansen, P. B., Operating System Principles, Prentice-Hall, 1973.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. HOAR61 Hoare, C. A. R., "Algorithm 65, FIND", CACM, (4, 7), July 1961, p. 321.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  41. HOAR69 Hoare, C. A. R., "An Axiomatic Basis for Computer Programming", CACM, (12, 10), 1969, pp. 576--583.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  42. HOAR71 Hoare, C. A. R., "Proof of a Program: FIND", CACM, (14, 1), 1971, pp. 39--45.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  43. HOAR73B Hoare, C. A. R. and Wirth, N., "An Axiomatic Definition of the Programming Language, Pascal", Acta Informatica, (2), 1973, pp. 335--355.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  44. HORO75 Horowitz, E., "Fortran: Can It Be Structured - Should it Be", Computer, (8, 6), 1975, pp. 30--37.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  45. HOPK72 Hopkins, M., "A Case for the Goto", Sigplan Notices, (7, 11), 1972, pp. 59--62.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  46. IBM71 IBM, Chief Programmer Teams, Principles and Procedures, Report FSC 71--5108, June 1971.]]Google ScholarGoogle Scholar
  47. IEEE75 IEEE Transactions on Software Engineering (SE-1, 1) March 1975.]]Google ScholarGoogle Scholar
  48. JENS75 Jensen, K. and Wirth, N., Pascal User Manual and Report, 2nd Ed., Springer-Verlag, 1975.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  49. JUDD70 Judd. R., "Practical Modular Programming", Computer Bulletin, (14, 1), 1970, pp. 4--7.]]Google ScholarGoogle Scholar
  50. KERN74A Kernighan, B. W. and Plauger, P. J., "Programming Style: Examples and Counterexamples", Computing Surveys, (6, 4), 1974), pp. 309--319.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  51. KERN74B Kernighan, B. W. and Plauger, P. J., The Elements of Programming Style, McGraw-Hill, New York, 1974.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  52. KIEB75 Kieburtz, R. B., Structured Programming and Problem Solving with Algol W, Prentice-Hall, 1975.]]Google ScholarGoogle Scholar
  53. KNUT74 Knuth, D. E., "Structured Programming with Gotos", Computing Surveys, (6, 4), Dec. 1974.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  54. KOSA74 Kosaraju, S. A., "Analysis of Structured Programs", Journal of Computer and System Sciences, (9, 3), Dec. 1974.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  55. KRE172 Kreitzberg, C. B. and Shneiderman, B., The Elements of Fortran Style, Harcourt Brace Jovanovich, 1972.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  56. LEAV72A Leavenworth, B. M., (Ed.) "The Go To Controversy", Sigplan Notices, (7, 11), Nov. 1972, pp. 53--91.]]Google ScholarGoogle Scholar
  57. LEAV72B Leavenworth, B. M., "Programming With(out) the Goto", Sigplan Notices, (7, 11), 1972, pp. 54--58.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  58. LEDG75 Ledgard, H. F. and Marcotty, M., "A Genealogy of Control Structures", CACM, (18, 11), 1975, pp. 629--639.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  59. LIM75 Lim, A. L. and Lewis, G. R., "Towards Structured Programming in APL," Computer Journal, (18, 2), 1975, pp. 140--143.]]Google ScholarGoogle ScholarCross RefCross Ref
  60. MANN72 Manna, Z. and Vuillemin, J., "Fixpoint Approach to Theory of Computation", CACM, (15, 7), July 1972, pp. 528--536.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  61. MART73 Martin, J., "The 'Natural' Set of Basic Control Structures", Sigplan Notices, (8, 12), 1973, pp. 5--14.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  62. MCCL75 McClure, C., "Structured Programming in Cobol", Sigplan Notices, (10, 4), 1975, pp. 25--33.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  63. MCCR76 McCracken, D. D., A Simplified Guide to Structured Cobol Programming, Wiley, 1976.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  64. MEIS75 Meissner, L. P., "On Extending Fortran Control Structures to Facilitate Structured Programming", Sigplan Notices, (10, 9), 1975, pp. 19--29.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  65. METZ75 Metz, S., "More on Structured Programming", CACM, (18, 10), 1975, pp. 600--601.]]Google ScholarGoogle Scholar
  66. MILA73 Miller, L. A., Harlan Mills on "The Psychology of Quality';, IBM RC 3779, May 1973.]]Google ScholarGoogle Scholar
  67. MILL71 Mills, H. D., "Top Down Programming in Large Systems", Debugging Techniques in Large Systems, B. Rustin (ed), Prentice-Hall, 1971.]]Google ScholarGoogle Scholar
  68. MILL72 Mills, H. D., Mathematical Foundations for Structured Programming, IBM Report FSC 72--6013, 1972.]]Google ScholarGoogle Scholar
  69. MILL73 Mills, H. D., How to Write Correct Programs and Know It, IBM Report FSC 73--5008, Jan. 1973.]]Google ScholarGoogle Scholar
  70. MILL75 Mills, H. D., "How to Write Correct Programs and Know It", Sigplan Notices, (10, 6), 1975, pp. 363--370.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  71. MILR73A Miller, E. F. Jr., A Compendium of Language Extensions to Support Structured Programming, Program Validation Project Report, RN-42, General Research Corp., Jan. 1973.]]Google ScholarGoogle Scholar
  72. NASS73 Nassi, I. and Shneiderman, B., "Flowchart Techniques for Structured Programming", Sigplan Notices, (8, 8), 1973, pp. 12--26.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  73. NAUR66 Naur, P., "Proof of Algorithms by General Snapshots", BIT, (6), 1966, 310--316.]]Google ScholarGoogle Scholar
  74. NAUR69 Naur, P., "Programming by Action Clusters", BIT, (9), 1969, pp. 250--258.]]Google ScholarGoogle ScholarCross RefCross Ref
  75. OGDI72 Ogdin, J., "The Mongolian Hordes versus Superprogrammer", Infosystems, Dec. 1972, pp. 20--24.]]Google ScholarGoogle Scholar
  76. PETE73 Peterson, W. W., Kasami, T., and Tokura, N., "On the Capabilities of While, Repeat, and Exit Statements", CACM, (16, 8), 1973, p. 503--512.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  77. PHIL77 Philippakis, A. and Kazimier, L., Structured Cobol, McGraw-Hill, 1977.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  78. PUG77 Pascal Users Group. Membership Roster. Pascal Newsletter, A. Mickel (Ed.), May 1977.]]Google ScholarGoogle Scholar
  79. RICE68 Rice, J. R., "The Goto Statement Reconsidered", Letter to the Editor. CACM, (11, 8), 1968, p. 538.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  80. SHEL77 Shelly, G. and Cashman, T., Introduction to Computer Programming: Structured Cobol, Anaheim Publ. Co., 1977.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  81. SITE72 Sites, R. L., Algol W Reference Nanual, Stanford Univ., Dept. of Comp. Sci. Rept STAN-CS-71--230, Feb. 1972.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  82. SLAG73 Slagle, J. R. and Norton, L. M., "Experiments with an Automatic Theorem Prover. . . .", CACM, (16, 11), 1973, pp. 682--688.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  83. SMOL74 Smoliar, S. W., "On Structured Programming", CACM, (17, 5), 1974, p. 294.]]Google ScholarGoogle Scholar
  84. SNOW72 Snowden, R. A., "Pearl: An' Interactive System for the Preparation and Validation of Structured Programs", Sigplan Notices, (7, 3), 1972, pp. 9--26.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  85. SULL75 Sullivan, J. E., "Extending PL/I For Structured Programming", Computer Languages, (1), 1975, pp. 29--43.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  86. URSC75 Urschler, G., "Automatic Structuring of Programs", IBM Jour. of Res. Dev., March 1975, pp. 181--194.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  87. WEGN73 Wegner, E., "Tree-Structured Programs", CACM, (16, 11), 1973, pp. 704--705.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  88. WEGP76 Wegner, P., "Programming Languages - The First 25 Years", IEEE-TC, (C-25, 12), Dec. 1976, pp. 1207--1225.]]Google ScholarGoogle Scholar
  89. WEIN71 Weinberg, G., The Psychology of Computer Programming, Van Nostrand Reinhold, 1971.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  90. WEIN73 Weinberg, G., Yasukawa, N. and Marcus, R., Structured Programming in PL/C, Wiley, 1973.]]Google ScholarGoogle Scholar
  91. WEIN75 Weinberg, G., et al., "If-Then-Else considered Harmful", Sigplan Notices, (10, 8), 1975, pp. 34--44.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  92. WHIT75 White, J. R. and Presser, L., "A Structured Language for Compiler Construction", Computer Journal, (18, 1), 1975, pp. 34--42.]]Google ScholarGoogle ScholarCross RefCross Ref
  93. WIRT66 Wirth, N. and Hoare, C. A. R., "A Contribution to the Development of Algol", CACM, (9, 6), June 1966, pp. 413--432.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  94. WIRT68 Wirth, N., "PL360, A Programming Language for the IBM 360", JACM, (15, 1), 1968, pp. 37--74.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  95. WIRT71A Wirth, N., "The Programming Language, Pascal", Acta Informatica, (1, 1), 1971, pp. 35--63.]]Google ScholarGoogle ScholarDigital LibraryDigital Library
  96. WIRT71B Wirth, N., "Program Development by Stepwise Refinement", CACM, (14, 4), 1971, pp. 221--227.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  97. WIRT73A Wirth, N., Systematic Programming, Prentice Hall, 1973.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  98. WIRT73B Wirth, N., The Programming Language, Pascal (Revised Report), Berichte der Fachgruppe Computer-Wissenschaften, ETH, Zurich (5), 1973.]]Google ScholarGoogle Scholar
  99. HOAR73A Hoare, C. A. R., "Proof of a Structured Program: The Sieve of Eratosthenes", Computer Journal, (15), 1973.]]Google ScholarGoogle Scholar
  100. WIRT74 Wirth, N., "On the Composition of Well-Structured Programs", Computing Surveys, Dec. 1974, pp. 247--259.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  101. WIRT76 Wirth, N., Algorithms + Data Structures = Programs, Prentice Hall, 1976.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  102. WULF71A Wulf, W. A., "Programming Without the Goto", Information Proceeding 71, C. V. Freiman (ed), Proceeding of IFIP 1971 Congress.]]Google ScholarGoogle Scholar
  103. WULF71B Wulf, W. A., Russell, D. B., and Habermann, A. N., "Bliss: A Language for Systems Programming", CACM, (14, 12), 1971, pp. 780--790.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  104. WULF71C Wulf, W. A., et al., "Reflections on a Systems Programming Language", Proc. of SIGPLAN Symp. on Systems Implementation Languages, Oct. 1971.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  105. WULF72 Wulf, W. A., "A Case Against the Goto", SIGPLAN Notices, (7, 11), 1972, pp. 63--69.]] Google ScholarGoogle ScholarDigital LibraryDigital Library
  106. YOUR74 Yourdon, E. and Abbott, R., "Programmers are Paid to Program: Enter Program Librarian", Infosystems, Dec. 1974, pp. 28--32.]]Google ScholarGoogle Scholar
  107. ZAHN74 Zahn, C., "A Control Statement for Natural Top-Down Structured Programming", Symposium on Programming Languages, Paris, 1974.]] Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

(auto-classified)
  1. The roots of structured programming

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGCSE Bulletin
        ACM SIGCSE Bulletin  Volume 10, Issue 1
        The papers of the SIGCSE/CSA technical symposium on computer science education
        February 1978
        296 pages
        ISSN:0097-8418
        DOI:10.1145/990654
        Issue’s Table of Contents
        • cover image ACM Conferences
          SIGCSE '78: Papers of the SIGCSE/CSA technical symposium on Computer science education
          February 1978
          311 pages
          ISBN:9781450374767
          DOI:10.1145/990555
          • Conference Chair:
          • Kenneth Williams

        Copyright © 1978 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 1 February 1978

        Check for updates

        Qualifiers

        • article

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!