skip to main content
Skip header Section
Structured programmingJanuary 1972
  • Editors:
  • O. J. Dahl,
  • E. W. Dijkstra,
  • C. A. R. Hoare
Publisher:
  • Academic Press Ltd.
  • 24-28 Oval Rd. London NW1 7DX
  • United Kingdom
ISBN:978-0-12-200550-3
Published:01 January 1972
Pages:
234
Skip Bibliometrics Section
Bibliometrics
Skip Abstract Section
Abstract

In recent years there has been an increasing interest in the art of computer programming, the conceptual tools available for the design of programs, and the prevention of programming oversights and error. The initial outstanding contribution to our understanding of this subject was made by E. W. Dijkstra, whose Notes on Structured Programming form the first and major section of this book. They clearly expound the reflections of a brilliant programmer on the methods which he has hitherto unconsciously applied; there can be no programmer of the present day who could not increase his skills by a study and conscious application of these principles.

In the second monograph I have tried to describe how similar principles can be applied in the design of data structures. I have suggested that in analysing a problem and groping towards a solution, a programmer should take advantage of abstract concepts such as sets, sequences, and mappings; and judiciously postpone decisions on representation until he is constructing the more detailed code of the program. The monograph also describes a range of useful ideas for data representation, and suggests the criteria relevant for their selection.

The third monograph provides a synthesis of the previous two, and expounds the close theoretical and practical connections between the design of data and the design of programs. It introduces useful additional methods for program and data structuring which may be unfamiliar to many programmers. The examples show that structured programming principles can be equally applied in "bottom-up" as in "top-down" program design. The original inspiration, insight, and all the examples were contributed by O.-J. Dahl; I have only assembled the material, and added some additional explanations where I found it difficult to understand.

Skip Table Of Content Section
chapter
Free
Chapter I: Notes on structured programming
pp 1–82
chapter
Free
Chapter II: Notes on data structuring
pp 83–174
chapter
Free
Chapter III: Hierarchical program structures
pp 175–220

Cited By

  1. ACM
    Marron M Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (136-152)
  2. ACM
    Biggar O, Zamani M and Shames I (2022). On Modularity in Reactive Control Architectures, with an Application to Formal Verification, ACM Transactions on Cyber-Physical Systems, 6:2, (1-36), Online publication date: 30-Apr-2022.
  3. ACM
    Jones C List of Tony Hoare’s Publications Theories of Programming, (395-410)
  4. Haigh T (2019). Assembling a prehistory for formal methods: a personal view, Formal Aspects of Computing, 31:6, (663-674), Online publication date: 1-Dec-2019.
  5. Macey W, Wang D, Thornton P and Mockus A Live restructuring of data architecture Proceedings of the 12th International Workshop on Software Engineering for Science, (24-25)
  6. Wood T, Drossopolou S, Lahiri S and Eisenbach S Modular Verification of Procedure Equivalence in the Presence of Memory Allocation Programming Languages and Systems, (937-963)
  7. ACM
    Ma Y, Dey T and Mockus A Modularizing global variable in climate simulation software Proceedings of the International Workshop on Software Engineering for Science, (8-11)
  8. ACM
    Figueroa I and Robbes R Is functional programming better for modularity? Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, (49-52)
  9. Tamai T Software engineering view of a large-scale system failure and the following lawsuit Proceedings of the Second International Workshop on Software Engineering Research and Industrial Practice, (18-24)
  10. Staples M The unending quest for valid, useful software engineering theories Proceedings of the Fourth SEMAT Workshop on General Theory of Software Engineering, (47-58)
  11. Jones C, Hayes I and Colvin R (2015). Balancing expressiveness in formal approaches to concurrency, Formal Aspects of Computing, 27:3, (475-497), Online publication date: 1-May-2015.
  12. Schmidberger R Well-Defined Coverage Metrics for the Glass Box Test Proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 8763, (113-128)
  13. ACM
    Doss R (2014). Using goto statements, ACM SIGSOFT Software Engineering Notes, 39:5, (1-3), Online publication date: 17-Sep-2014.
  14. Misra J Orchestration Formal Aspects of Component Software, (5-12)
  15. ACM
    Beynon M Realising software development as a lived experience Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software, (229-244)
  16. ACM
    Unterholzner M Refactoring support for Smalltalk using static type inference Proceedings of the International Workshop on Smalltalk Technologies, (1-18)
  17. Lee W, Eom C and Jo T Path skyline for moving objects Proceedings of the 14th Asia-Pacific international conference on Web Technologies and Applications, (610-617)
  18. ACM
    Holmes R and Notkin D Identifying opaque behavioural changes Proceedings of the 33rd International Conference on Software Engineering, (995-997)
  19. ACM
    Milicevic A, Rayside D, Yessenov K and Jackson D Unifying execution of imperative and declarative code Proceedings of the 33rd International Conference on Software Engineering, (511-520)
  20. Barnes D and Shinners-Kennedy D A study of loop style and abstraction in pedagogic practice Proceedings of the Thirteenth Australasian Computing Education Conference - Volume 114, (29-36)
  21. Conway L IBM-ACS Dependable and Historic Computing, (185-224)
  22. Clarkson M and Schneider F (2010). Hyperproperties, Journal of Computer Security, 18:6, (1157-1210), Online publication date: 21-Sep-2010.
  23. ACM
    Harman M The relationship between search based software engineering and predictive modeling Proceedings of the 6th International Conference on Predictive Models in Software Engineering, (1-13)
  24. Collinson M, Monahan B and Pym D Semantics for structured systems modelling and simulation Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques, (1-8)
  25. ACM
    Mullen T Writing code for other people Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (481-492)
  26. ACM
    Mullen T (2009). Writing code for other people, ACM SIGPLAN Notices, 44:10, (481-492), Online publication date: 25-Oct-2009.
  27. ACM
    Lü J, Ma X, Huang Y, Cao C and Xu F Internetware Proceedings of the First Asia-Pacific Symposium on Internetware, (1-9)
  28. Yokoyama T, Axelsen H and Glück R Reversible Flowchart Languages and the Structured Reversible Program Theorem Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II, (258-270)
  29. ACM
    Perry D "Large" abstractions for software engineering Proceedings of the 2nd international workshop on The role of abstraction in software engineering, (31-33)
  30. Yao Y The Art of Granular Computing Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms, (101-112)
  31. ACM
    Kristensen B, Madsen O and Møller-Pedersen B The when, why and why not of the BETA programming language Proceedings of the third ACM SIGPLAN conference on History of programming languages, (10-1-10-57)
  32. ACM
    Wirth N Modula-2 and Oberon Proceedings of the third ACM SIGPLAN conference on History of programming languages, (3-1-3-10)
  33. Bauer A, Leucker M and Streit J SALT—structured assertion language for temporal logic Proceedings of the 8th international conference on Formal Methods and Software Engineering, (757-775)
  34. ACM
    Caspersen M and Kölling M A novice's process of object-oriented programming Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications, (892-900)
  35. Noble J and Biddle R Postmodern prospects for conceptual modelling Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53, (11-20)
  36. Wegener J Evolutionary testing techniques Proceedings of the Third international conference on StochasticAlgorithms: foundations and applications, (82-94)
  37. Guescini R, Karabeg D and Nordeng T A case for polyscopic structuring of information Proceedings of the First international conference on Charting the Topic Maps Research and Applications Landscape, (125-138)
  38. ACM
    Ryder B, Soffa M and Burnett M (2005). The impact of software engineering research on modern programming languages, ACM Transactions on Software Engineering and Methodology, 14:4, (431-477), Online publication date: 1-Oct-2005.
  39. ACM
    van Ditmarsch H, van der Hoek W and Kooi B Dynamic epistemic logic with assignment Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, (141-148)
  40. ACM
    Rajan H and Sullivan K Aspect language features for concern coverage profiling Proceedings of the 4th international conference on Aspect-oriented software development, (181-191)
  41. ACM
    Noble J and Biddle R (2004). Notes on notes on postmodern programming, ACM SIGPLAN Notices, 39:12, (40-56), Online publication date: 1-Dec-2004.
  42. ACM
    Noble J and Biddle R Notes on notes on postmodern programming Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, (112-115)
  43. Brucker A and Wolff B Symbolic test case generation for primitive recursive functions Proceedings of the 4th international conference on Formal Approaches to Software Testing, (16-32)
  44. Lisovik L (2004). Structured Turing Machines, Cybernetics and Systems Analysis, 40:2, (162-168), Online publication date: 1-Mar-2004.
  45. ACM
    Gorlatch S (2004). Send-receive considered harmful, ACM Transactions on Programming Languages and Systems, 26:1, (47-56), Online publication date: 1-Jan-2004.
  46. Cabac L, Moldt D and Rölke H A proposal for structuring Petri net-based agent interaction protocols Proceedings of the 24th international conference on Applications and theory of Petri nets, (102-120)
  47. Jones C (2003). The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, 25:2, (26-49), Online publication date: 1-Apr-2003.
  48. Gorlatch S SAT Patterns and skeletons for parallel and distributed computing, (29-63)
  49. ACM
    Creak A (2002). Edsger W. Dijkstra, ACM SIGPLAN Notices, 37:12, (14-16), Online publication date: 1-Dec-2002.
  50. Bustard D (2001). Software Engineering Books for Desert Island Reading, Automated Software Engineering, 8:1, (121-123), Online publication date: 1-Jan-2001.
  51. Morasca S, Morzenti A and Pietro P (2000). A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO, Automated Software Engineering, 7:2, (125-155), Online publication date: 1-May-2000.
  52. San Pietro P, Morzenti A and Morasca S (2000). Generation of Execution Sequences for Modular Time Critical Systems, IEEE Transactions on Software Engineering, 26:2, (128-149), Online publication date: 1-Feb-2000.
  53. Siddiqi J, Morrey I, Hibberd R and Buckberry G (1999). Understanding and exploring formal specifications, Annals of Software Engineering, 6:1-4, (411-432), Online publication date: 1-Apr-1999.
  54. Mills E (1999). Metrics in the software engineering curriculum, Annals of Software Engineering, 6:1-4, (181-200), Online publication date: 1-Apr-1999.
  55. ACM
    Dennis J Retrospective: a preliminary architecture for a basic data flow processor 25 years of the international symposia on Computer architecture (selected papers), (2-4)
  56. ACM
    Carrington D Teaching software testing Proceedings of the 2nd Australasian conference on Computer science education, (59-64)
  57. Stocks P and Carrington D (1996). A Framework for Specification-Based Testing, IEEE Transactions on Software Engineering, 22:11, (777-793), Online publication date: 1-Nov-1996.
  58. Chu W and Yang H A Formal Method to Software Integration in Reuse Proceedings of the 20th Conference on Computer Software and Applications
  59. Pan S and Dromey R Beyond structured programming Proceedings of the 18th international conference on Software engineering, (268-277)
  60. ACM
    Morasca S, Morzenti A and SanPietro P Generating functional test cases in-the-large for time-critical systems from logic-based specifications Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis, (39-52)
  61. ACM
    Morasca S, Morzenti A and SanPietro P (1996). Generating functional test cases in-the-large for time-critical systems from logic-based specifications, ACM SIGSOFT Software Engineering Notes, 21:3, (39-52), Online publication date: 1-May-1996.
  62. ACM
    Hansen P Monitors and Concurrent Pascal History of programming languages---II, (121-172)
  63. ACM
    Raccoon L (1995). The chaos strategy, ACM SIGSOFT Software Engineering Notes, 20:5, (40-47), Online publication date: 1-Dec-1995.
  64. ACM
    Voas J, Payne J, Mills R and McManus J (1995). Software testability, ACM SIGSOFT Software Engineering Notes, 20:SI, (247-255), Online publication date: 1-Aug-1995.
  65. ACM
    Voas J, Payne J, Mills R and McManus J Software testability Proceedings of the 1995 Symposium on Software reusability, (247-255)
  66. ACM
    Taivalsaari A (1995). Delegation versus concatenation or cloning is inheritance too, ACM SIGPLAN OOPS Messenger, 6:3, (20-49), Online publication date: 1-Jul-1995.
  67. ACM
    Roberts E (1995). Loop exits and structured programming, ACM SIGCSE Bulletin, 27:1, (268-272), Online publication date: 15-Mar-1995.
  68. ACM
    Roberts E Loop exits and structured programming Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (268-272)
  69. ACM
    Müller B (1993). Is object-oriented programming structured programming?, ACM SIGPLAN Notices, 28:9, (57-66), Online publication date: 1-Sep-1993.
  70. ACM
    Hansen P Monitors and concurrent Pascal The second ACM SIGPLAN conference on History of programming languages, (1-35)
  71. ACM
    Hansen P (1993). Monitors and concurrent Pascal, ACM SIGPLAN Notices, 28:3, (1-35), Online publication date: 1-Mar-1993.
  72. ACM
    Butler D and Hansen C (1992). Visualization '91 workshop report, ACM SIGGRAPH Computer Graphics, 26:3, (213-216), Online publication date: 1-Aug-1992.
  73. ACM
    Salomon D (1992). Four Dimensions of programming-language independence, ACM SIGPLAN Notices, 27:3, (35-53), Online publication date: 1-Mar-1992.
  74. Makki R, Bou-Ghazale S and Tianshang C (1991). Automatic Test Pattern Generation with Branch Testing, IEEE Transactions on Computers, 40:6, (785-791), Online publication date: 1-Jun-1991.
  75. Pair C (1990). GRIN, IEEE Annals of the History of Computing, 12:3, (159-166), Online publication date: 1-Jul-1990.
  76. Guindon R (2018). Designing the design process, Human-Computer Interaction, 5:2, (305-344), Online publication date: 1-Jun-1990.
  77. Yadav S (1990). Control and Definition Modularization, IEEE Transactions on Software Engineering, 16:1, (92-99), Online publication date: 1-Jan-1990.
  78. ACM
    Nakagawa A and Futatsugi K Stepwise refinement process with modularity Proceedings of the 11th international conference on Software engineering, (166-177)
  79. ACM
    Liskov B (1987). Keynote address - data abstraction and hierarchy, ACM SIGPLAN Notices, 23:5, (17-34), Online publication date: 1-May-1988.
  80. Baecker R Enhancing program readability and comprehensibility with tools for program visualization Proceedings of the 10th international conference on Software engineering, (356-366)
  81. ACM
    Bhatti M (1988). Incremental execution environment, ACM SIGPLAN Notices, 23:4, (56-64), Online publication date: 1-Apr-1988.
  82. ACM
    Bain W A global object name space for the Intel hypercube Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1, (570-574)
  83. ACM
    Jonsson D (1987). Pancode and boxcharts: structured programming revisited, ACM SIGPLAN Notices, 22:8, (89-98), Online publication date: 1-Aug-1987.
  84. ACM
    Bhujade M (1987). Visual specification of blocks in programming languages, ACM SIGPLAN Notices, 22:8, (24-26), Online publication date: 1-Aug-1987.
  85. ACM
    Mills H, Basili V, Gannon J and Hamlet R Teaching principles of computer programming Proceedings of the 15th annual conference on Computer Science, (336-341)
  86. ACM
    Liskov B Keynote address - data abstraction and hierarchy Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum), (17-34)
  87. ACM
    McKay K, Buzacott J, Moore J and Strang C Software engineerng applied to discrete event simulations Proceedings of the 18th conference on Winter simulation, (485-493)
  88. ACM
    Nguyen V and Hailpern B (1986). A generalized object model, ACM SIGPLAN Notices, 21:10, (78-87), Online publication date: 1-Oct-1986.
  89. ACM
    Nguyen V and Hailpern B A generalized object model Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming, (78-87)
  90. ACM
    Tudruj M and Gajda R A microprogrammable architecture with quasi time-transparent structured control Proceedings of the 18th annual workshop on Microprogramming, (19-29)
  91. ACM
    Tudruj M and Gajda R (1985). A microprogrammable architecture with quasi time-transparent structured control, ACM SIGMICRO Newsletter, 16:4, (19-29), Online publication date: 1-Dec-1985.
  92. ACM
    Tenny T (1985). Procedures and comments vs. the banker's algorithm, ACM SIGCSE Bulletin, 17:3, (44-53), Online publication date: 1-Sep-1985.
  93. Sussman G Intelligent support for the engineering of software (panel paper) Proceedings of the 8th international conference on Software engineering, (397-399)
  94. ACM
    Laff M and Hailpern B (1985). SW 2 - An object-based programming environment, ACM SIGPLAN Notices, 20:7, (1-11), Online publication date: 1-Jul-1985.
  95. ACM
    Laff M and Hailpern B SW 2 - An object-based programming environment Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments, (1-11)
  96. ACM
    Berghel H (1985). Simplified integration of Prolog with RDBMS, ACM SIGMIS Database: the DATABASE for Advances in Information Systems, 16:3, (3-12), Online publication date: 1-Apr-1985.
  97. ACM
    Madhavji N (1984). Visibility aspects of programmed dynamic data structures, Communications of the ACM, 27:8, (764-776), Online publication date: 1-Aug-1984.
  98. ACM
    Diaz-Herrera J (1984). Pragmatic problems with step-wise refinement program development, ACM SIGSOFT Software Engineering Notes, 9:2, (80-88), Online publication date: 1-Apr-1984.
  99. ACM
    Baecker R and Marcus A On enhancing the interface to the source code of computer programs Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, (251-255)
  100. ACM
    Ahad R and Raeder G Tightly coupled operating systems on personal microcomputers Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers, (176-181)
  101. ACM
    Brown E (1983). On the application of Rothon diagrams to data abstraction, ACM SIGPLAN Notices, 18:12, (17-24), Online publication date: 1-Dec-1983.
  102. ACM
    Kessels J (1983). On-the-fly optimization of data structures, Communications of the ACM, 26:11, (895-901), Online publication date: 1-Nov-1983.
  103. ACM
    Crookes D (1983). Experience with teaching assembly language, ACM SIGCSE Bulletin, 15:3, (50-52), Online publication date: 1-Sep-1983.
  104. ACM
    Francis R (1983). Containment defines a class of recursive data structures, ACM SIGPLAN Notices, 18:4, (58-64), Online publication date: 1-Apr-1983.
  105. ACM
    Van Oost E (1983). DUIF, ACM SIGPLAN Notices, 18:2, (69-75), Online publication date: 1-Feb-1983.
  106. Löfgren M and Magnusson B (1982). Access mechanisms in block structured environments, BIT, 22:4, (419-436), Online publication date: 1-Dec-1982.
  107. ACM
    Wegner P (1982). Reflections on capital-intensive software technology, ACM SIGSOFT Software Engineering Notes, 7:4, (24-33), Online publication date: 1-Oct-1982.
  108. ACM
    de Jong M and Hankin C (1982). Structured data flow programming, ACM SIGPLAN Notices, 17:8, (18-27), Online publication date: 1-Aug-1982.
  109. Lu D (1982). Watchdog Processors and Structural Integrity Checking, IEEE Transactions on Computers, 31:7, (681-685), Online publication date: 1-Jul-1982.
  110. ACM
    Hwang C Structured D-chart Proceedings of the June 7-10, 1982, national computer conference, (735-748)
  111. ACM
    Bowles K The impact of Ada on software engineering Proceedings of the June 7-10, 1982, national computer conference, (327-332)
  112. ACM
    Park T and Korpman R (1982). TMML, ACM SIGSMALL Newsletter, 8:1, (30-46), Online publication date: 1-Feb-1982.
  113. ACM
    Murray R Namespaces semipermeable membranes for APL applications Proceedings of the international conference on APL, (220-226)
  114. ACM
    Murray R (1981). Namespaces semipermeable membranes for APL applications, ACM SIGAPL APL Quote Quad, 12:1, (220-226), Online publication date: 1-Sep-1981.
  115. Nash D and Willman H Software engineering applied to computer-aided design (CAD) software development Proceedings of the 18th Design Automation Conference, (530-539)
  116. ACM
    Henry S, Kafura D and Harris K (1981). On the relationships among three software metrics, ACM SIGMETRICS Performance Evaluation Review, 10:1, (81-88), Online publication date: 1-Apr-1981.
  117. Futamura Y, Kawai T, Horikoshi H and Tsutsumi M Development of computer programs by problem analysis Diagram(PAD) Proceedings of the 5th international conference on Software engineering, (325-332)
  118. ACM
    Riley D Teaching problem solving in an introductory computer science class Proceedings of the twelfth SIGCSE technical symposium on Computer science education, (244-251)
  119. ACM
    Riley D (1981). Teaching problem solving in an introductory computer science class, ACM SIGCSE Bulletin, 13:1, (244-251), Online publication date: 1-Feb-1981.
  120. Birtwistle G Advanced use of Simula Proceedings of the 13th conference on Winter simulation - Volume 1, (293-304)
  121. Huhn R and Comer E Application of modern software techniques to modeling and simulation Proceedings of the 13th conference on Winter simulation - Volume 1, (101-112)
  122. ACM
    Lee K Status of graduate software engineering education Proceedings of the ACM '81 conference, (179-183)
  123. ACM
    Giacomucci A and Friedman F Capsules Proceedings of the ACM '81 conference, (154-160)
  124. ACM
    Hansen W The structure of “data structures” Proceedings of the ACM '81 conference, (89-95)
  125. ACM
    Henry S, Kafura D and Harris K On the relationships among three software metrics Proceedings of the 1981 ACM workshop/symposium on Measurement and evaluation of software quality, (81-88)
  126. ACM
    Sharp J (1980). Data oriented program design, ACM SIGPLAN Notices, 15:9, (44-57), Online publication date: 1-Sep-1980.
  127. ACM
    Kreutzer W (1980). Patterns of modelling, ACM SIGSIM Simulation Digest, 11:3-4, (7-23), Online publication date: 1-Sep-1980.
  128. ACM
    Burstall R, MacQueen D and Sannella D HOPE Proceedings of the 1980 ACM conference on LISP and functional programming, (136-143)
  129. ACM
    Wasserman A The design of PLAIN Proceedings of the May 19-22, 1980, national computer conference, (731-740)
  130. ACM
    Turner J (1980). The structure of modular program, Communications of the ACM, 23:5, (272-277), Online publication date: 1-May-1980.
  131. (1980). Data quality in information systems, Information and Management, 3:6, (245-258), Online publication date: 1-May-1980.
  132. ACM
    Gries D (1980). Eliminating the chaff, ACM SIGSOFT Software Engineering Notes, 5:2, (17-21), Online publication date: 1-Apr-1980.
  133. ACM
    Ellison R A programming sequence for the liberal arts college Proceedings of the eleventh SIGCSE technical symposium on Computer science education, (161-164)
  134. ACM
    Ellison R (1980). A programming sequence for the liberal arts college, ACM SIGCSE Bulletin, 12:1, (161-164), Online publication date: 1-Feb-1980.
  135. ACM
    Král J (1980). Parkinson programming, ACM SIGPLAN Notices, 15:2, (46-50), Online publication date: 1-Feb-1980.
  136. Rosen B (1980). Monoids for Rapid Data Flow Analysis, SIAM Journal on Computing, 9:1, (159-196), Online publication date: 1-Feb-1980.
  137. ACM
    Beidler J and Meinke J (1980). An intermediate level dynamic storage capability, ACM SIGPLAN Notices, 15:1, (24-33), Online publication date: 1-Jan-1980.
  138. ACM
    Schrage J Educator's view of structured concepts Proceedings of the ACM 1980 annual conference, (327-341)
  139. ACM
    Solomon M and Finkel R The Roscoe distributed operating system Proceedings of the seventh ACM symposium on Operating systems principles, (108-114)
  140. ACM
    Lampson B and Sproull R An open operating system for a single-user machine Proceedings of the seventh ACM symposium on Operating systems principles, (98-105)
  141. ACM
    Shopiro J (1979). Theseus—a programming language for relational databeses, ACM Transactions on Database Systems, 4:4, (493-517), Online publication date: 1-Dec-1979.
  142. ACM
    Schonberg E (1979). Hierarchical design and efficient implementation in SETL, ACM SIGPLAN Notices, 14:10, (69-74), Online publication date: 1-Oct-1979.
  143. Elovitz H An experiment in software engineering Proceedings of the 4th international conference on Software engineering, (145-152)
  144. Ploedereder E Pragmatic techniques for program analysis and verification Proceedings of the 4th international conference on Software engineering, (63-72)
  145. Cheatham T, Townley J and Holloway G A system for program refinement Proceedings of the 4th international conference on Software engineering, (53-62)
  146. ACM
    Yu S and Murata T (1979). Modeling and simulating data flow computations at machine language level, ACM SIGSIM Simulation Digest, 11:1, (207-213), Online publication date: 1-Sep-1979.
  147. ACM
    Yu S and Murata T (1979). Modeling and simulating data flow computations at machine language level, ACM SIGMETRICS Performance Evaluation Review, 8:3, (207-213), Online publication date: 1-Sep-1979.
  148. ACM
    Yu S and Murata T Modeling and simulating data flow computations at machine language level Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems, (207-213)
  149. ACM
    DeRemer F, Levy P, Hanson S, Jackson P, Jullig R and Pittman T (1979). Summary of the characteristics of several "modern" programming languages, ACM SIGPLAN Notices, 14:5, (28-45), Online publication date: 1-May-1979.
  150. ACM
    Hanson R and Wisniewski J (1979). A mathematical programming updating method using modified Givens transformations and applied to LP problems, Communications of the ACM, 22:4, (245-251), Online publication date: 1-Apr-1979.
  151. ACM
    Jackson G (1979). Two-dimensional grammars and structured programming languages, ACM SIGPLAN Notices, 14:2, (21-28), Online publication date: 1-Feb-1979.
  152. ACM
    Noonan R (1979). The second course in computer programming, ACM SIGCSE Bulletin, 11:1, (187-191), Online publication date: 1-Feb-1979.
  153. ACM
    Hyde D, Gay B and Utter D (1979). The integration of a Problem Solving Process in the first course, ACM SIGCSE Bulletin, 11:1, (54-59), Online publication date: 1-Feb-1979.
  154. Knuth D Structured programming with go to statements Classics in software engineering, (257-321)
  155. Kernighan B and Plauger P Programming style Classics in software engineering, (233-255)
  156. ACM
    Noonan R The second course in computer programming Proceedings of the tenth SIGCSE technical symposium on Computer science education, (187-191)
  157. ACM
    Hyde D, Gay B and Utter D The integration of a Problem Solving Process in the first course Proceedings of the tenth SIGCSE technical symposium on Computer science education, (54-59)
  158. ACM
    Gull W and Jenkins M Decisions for "type" in APL Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (190-196)
  159. ACM
    Banâtre J, Routeau J and Trilling L (1979). An event-driven compiling technique, Communications of the ACM, 22:1, (34-42), Online publication date: 1-Jan-1979.
  160. ACM
    Atkinson R, Liskov B and Scheifler R Aspects Of Implementing CLU Proceedings of the 1978 annual conference, (123-129)
  161. ACM
    Spitzen J, Levitt K and Robinson L (1978). An example of hierarchical design and proof, Communications of the ACM, 21:12, (1064-1075), Online publication date: 1-Dec-1978.
  162. ACM
    Pierce R (1978). A Requirements Tracing Tool, ACM SIGSOFT Software Engineering Notes, 3:5, (53-60), Online publication date: 15-Nov-1978.
  163. ACM
    Pierce R (1978). A Requirements Tracing Tool, ACM SIGMETRICS Performance Evaluation Review, 7:3-4, (53-60), Online publication date: 1-Nov-1978.
  164. ACM
    Skordalakis E and Papakonstantinou G (1978). Coroutines in FORTRAN, ACM SIGPLAN Notices, 13:9, (76-84), Online publication date: 1-Sep-1978.
  165. ACM
    Frei H, Weller D and Williams R (1978). A graphics-based programming-support system, ACM SIGGRAPH Computer Graphics, 12:3, (43-49), Online publication date: 23-Aug-1978.
  166. ACM
    Bos J (1978). Definition and use of higher-level graphics input tools, ACM SIGGRAPH Computer Graphics, 12:3, (38-42), Online publication date: 23-Aug-1978.
  167. ACM
    Frei H, Weller D and Williams R A graphics-based programming-support system Proceedings of the 5th annual conference on Computer graphics and interactive techniques, (43-49)
  168. ACM
    Bos J Definition and use of higher-level graphics input tools Proceedings of the 5th annual conference on Computer graphics and interactive techniques, (38-42)
  169. Prather R and Casstevens H (1978). Realization of Boolean Expressions by Atomic Digraphs, IEEE Transactions on Computers, 27:8, (681-688), Online publication date: 1-Aug-1978.
  170. ACM
    Kling R, Scacchi W and Crabtree P (1978). The social dynamics of instrumental computer use, ACM SIGSOC Bulletin, 10:1, (9-21), Online publication date: 1-Jul-1978.
  171. Kleine H Automating the software design process by means of software design and documentation language Proceedings of the 15th Design Automation Conference, (371-379)
  172. Persch G and Winterstein G Symbolic interpretation and tracing of PASCAL-programs Proceedings of the 3rd international conference on Software engineering, (312-319)
  173. Campos I and Estrin G Concurrent software system design supported by SARA at the age of one Proceedings of the 3rd international conference on Software engineering, (230-242)
  174. ACM
    Chapin N and Denniston S (1978). Characteristics of a structured program, ACM SIGPLAN Notices, 13:5, (36-45), Online publication date: 1-May-1978.
  175. ACM
    Bezivin J, Nebut J and Rannou R (1978). Another view of coroutines, ACM SIGPLAN Notices, 13:5, (23-35), Online publication date: 1-May-1978.
  176. ACM
    Hanson D and Griswold R (1978). The SL5 procedure mechanism, Communications of the ACM, 21:5, (392-400), Online publication date: 1-May-1978.
  177. ACM
    Kim K and Ramamoorthy C Structure of an efficient duplex memory for processing fault-tolerant programs Proceedings of the 5th annual symposium on Computer architecture, (131-138)
  178. ACM
    Jacobsen T (1978). Another view of coroutines, ACM SIGPLAN Notices, 13:4, (68-75), Online publication date: 1-Apr-1978.
  179. Clema J General purpose tools for system simulation Proceedings of the 11th annual symposium on Simulation, (37-60)
  180. ACM
    Weiner L The roots of structured programming Papers of the SIGCSE/CSA technical symposium on Computer science education, (243-254)
  181. ACM
    Chanon R A course in programming and practice Papers of the SIGCSE/CSA technical symposium on Computer science education, (224-228)
  182. ACM
    Mathis R A first course in computer science for graduate students Papers of the SIGCSE/CSA technical symposium on Computer science education, (217-223)
  183. ACM
    Prather R and Schlesinger J A lecture/laboratory approach to the first course in programming Papers of the SIGCSE/CSA technical symposium on Computer science education, (115-118)
  184. ACM
    Weiner L (1978). The roots of structured programming, ACM SIGCSE Bulletin, 10:1, (243-254), Online publication date: 1-Feb-1978.
  185. ACM
    Chanon R (1978). A course in programming and practice, ACM SIGCSE Bulletin, 10:1, (224-228), Online publication date: 1-Feb-1978.
  186. ACM
    Mathis R (1978). A first course in computer science for graduate students, ACM SIGCSE Bulletin, 10:1, (217-223), Online publication date: 1-Feb-1978.
  187. ACM
    Prather R and Schlesinger J (1978). A lecture/laboratory approach to the first course in programming, ACM SIGCSE Bulletin, 10:1, (115-118), Online publication date: 1-Feb-1978.
  188. ACM
    Pierce R A Requirements Tracing Tool Proceedings of the software quality assurance workshop on Functional and performance issues, (53-60)
  189. ACM
    Rosen B Monoids for rapid data flow analysis Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (47-59)
  190. ACM
    Reynolds J Syntactic control of interference Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (39-46)
  191. ACM
    Abramson H (1977). Ordered types and a generalized for statement, ACM SIGPLAN Notices, 12:12, (55-59), Online publication date: 1-Dec-1977.
  192. ACM
    Arisawa M (1977). Programming languages with hierarchical structure, ACM SIGPLAN Notices, 12:12, (36-38), Online publication date: 1-Dec-1977.
  193. ACM
    Rosen B (1977). High-level data flow analysis, Communications of the ACM, 20:10, (712-724), Online publication date: 1-Oct-1977.
  194. ACM
    Dowsing R (1977). Structured programming constructs for concurrency in program optimisation, ACM SIGPLAN Notices, 12:9, (31-35), Online publication date: 1-Sep-1977.
  195. Swartout W A digitalis therapy advisor with explanations Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2, (819-825)
  196. ACM
    Basili V and Zelkowitz M The software engineering laboratory Proceedings of the fifteenth annual SIGCPR conference, (256-269)
  197. ACM
    Davis R (1977). “Recommended mathematical topics for computer science majors”, ACM SIGCSE Bulletin, 9:3, (51-55), Online publication date: 1-Aug-1977.
  198. ACM
    Woolley J (1977). Fortran, ACM SIGPLAN Notices, 12:7, (112-125), Online publication date: 1-Jul-1977.
  199. ACM
    Grune D (1977). A view of coroutines, ACM SIGPLAN Notices, 12:7, (75-81), Online publication date: 1-Jul-1977.
  200. ACM
    Dembinski P and Schwartz R (1977). The taming of the pointer, ACM SIGPLAN Notices, 12:7, (60-74), Online publication date: 1-Jul-1977.
  201. ACM
    Kessels J (1977). An alternative to event queues for synchronization in monitors, Communications of the ACM, 20:7, (500-503), Online publication date: 1-Jul-1977.
  202. ACM
    Roman G A two-step approach to the validation of software engineering methodologies Proceedings of the June 13-16, 1977, national computer conference, (539-544)
  203. ACM
    Yourdon E The choice of new software development methodologies for software development projects Proceedings of the June 13-16, 1977, national computer conference, (261-265)
  204. ACM
    Ratcliff B (1977). ALGOL 68 and structured programming for learner-programmers, ACM SIGPLAN Notices, 12:6, (157-160), Online publication date: 1-Jun-1977.
  205. ACM
    Gries D and Gehani N (1977). Some ideas on data types in high-level languages, Communications of the ACM, 20:6, (414-420), Online publication date: 1-Jun-1977.
  206. ACM
    Towster E An introduction to chunk structure Proceedings of the 15th annual Southeast regional conference, (441-450)
  207. ACM
    Urban J and Towster E Specifications of computer programs using Hoare tree formalism Proceedings of the 15th annual Southeast regional conference, (414-425)
  208. ACM
    Herriot R (1977). Towards the ideal programming language, ACM SIGOPS Operating Systems Review, 11:2, (56-62), Online publication date: 1-Apr-1977.
  209. ACM
    Ambler A, Good D, Browne J, Burger W, Cohen R, Hoch C and Wells R (1977). Gypsy, ACM SIGOPS Operating Systems Review, 11:2, (1-10), Online publication date: 1-Apr-1977.
  210. ACM
    Ratcliff B ALGOL 68 and structured programming for learner-programmers Proceedings of the Strathclyde ALGOL 68 conference, (157-160)
  211. ACM
    Herriot R Towards the ideal programming language Proceedings of an ACM conference on Language design for reliable software, (56-62)
  212. ACM
    Ambler A, Good D, Browne J, Burger W, Cohen R, Hoch C and Wells R Gypsy Proceedings of an ACM conference on Language design for reliable software, (1-10)
  213. ACM
    Herriot R (1977). Towards the ideal programming language, ACM SIGSOFT Software Engineering Notes, 2:2, (56-62), Online publication date: 1-Mar-1977.
  214. ACM
    Ambler A, Good D, Browne J, Burger W, Cohen R, Hoch C and Wells R (1977). Gypsy, ACM SIGSOFT Software Engineering Notes, 2:2, (1-10), Online publication date: 1-Mar-1977.
  215. ACM
    Herriot R (1977). Towards the ideal programming language, ACM SIGPLAN Notices, 12:3, (56-62), Online publication date: 1-Mar-1977.
  216. ACM
    Ambler A, Good D, Browne J, Burger W, Cohen R, Hoch C and Wells R (1977). Gypsy, ACM SIGPLAN Notices, 12:3, (1-10), Online publication date: 1-Mar-1977.
  217. ACM
    Davis R “Recommended mathematical topics for computer science majors” Proceedings of the eighth SIGCSE technical symposium on Computer science education, (51-55)
  218. ACM
    Martin E and Badre A Problem formulation for programmers Proceedings of the seventh SIGCSE technical symposium on Computer science education, (133-138)
  219. ACM
    Beidler J A place for assembler in structured programming Proceedings of the seventh SIGCSE technical symposium on Computer science education, (108-112)
  220. ACM
    Hughes H A tool designed to facilitate structured programming Proceedings of the seventh SIGCSE technical symposium on Computer science education, (26-30)
  221. ACM
    Levine D “The simple internal procedure as an effective tool in the teaching and practice of structured PL/I” Proceedings of the seventh SIGCSE technical symposium on Computer science education, (22-25)
  222. ACM
    Martin E and Badre A (1977). Problem formulation for programmers, ACM SIGCSE Bulletin, 9:1, (133-138), Online publication date: 1-Feb-1977.
  223. ACM
    Beidler J (1977). A place for assembler in structured programming, ACM SIGCSE Bulletin, 9:1, (108-112), Online publication date: 1-Feb-1977.
  224. ACM
    Hughes H (1977). A tool designed to facilitate structured programming, ACM SIGCSE Bulletin, 9:1, (26-30), Online publication date: 1-Feb-1977.
  225. ACM
    Levine D (1977). “The simple internal procedure as an effective tool in the teaching and practice of structured PL/I”, ACM SIGCSE Bulletin, 9:1, (22-25), Online publication date: 1-Feb-1977.
  226. ACM
    Burkhardt K and DeSanto J The modular logic machine design system for loosely coupled systems Proceedings of the 1977 annual conference, (365-371)
  227. ACM
    Cho C Structured data interfacing for software systems Proceedings of the 1977 annual conference, (145-152)
  228. ACM
    Rosen B Applications of high level control flow Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (38-47)
  229. ACM
    Williams K (1976). An experimental course in advanced programming methods, ACM SIGCSE Bulletin, 8:4, (15-18), Online publication date: 1-Dec-1976.
  230. ACM
    Silva G, Fromkin V and Heath F (1976). A program for the analysis of speech error data, ACM SIGLASH Newsletter, 10:1-2, (15-29), Online publication date: 1-Dec-1976.
  231. ACM
    Good D and Fosdick L SIGSOFT tutorial on program verification (Tutorial Session) Proceedings of the 1976 annual conference, (521-522)
  232. ACM
    Standish T, Kibler D and Neighbors J Improving and refining programs by program manipulation Proceedings of the 1976 annual conference, (509-516)
  233. ACM
    Hanson D A procedure mechanism for backtrack programming Proceedings of the 1976 annual conference, (401-405)
  234. Voges U Aspects of design, test and validation of the software for a computerized reactor protection system Proceedings of the 2nd international conference on Software engineering, (606-610)
  235. Miyamoto I Some considerations in database application programming Proceedings of the 2nd international conference on Software engineering, (545-555)
  236. Guttag J, Horowitz E and Musser D The design of data type specifications Proceedings of the 2nd international conference on Software engineering, (414-420)
  237. White J and Booth T Towards an engineering approach to software design Proceedings of the 2nd international conference on Software engineering, (214-222)
  238. Karp R and Luckham D Verification of fairness in an implementation of monitors Proceedings of the 2nd international conference on Software engineering, (40-46)
  239. ACM
    Mein W Toward a data structure extension for APL Proceedings of the eighth international conference on APL, (308-313)
  240. ACM
    Cook A (1976). Experience with extensible, portable Fortran extensions, ACM SIGPLAN Notices, 11:9, (10-17), Online publication date: 1-Sep-1976.
  241. ACM
    Mize J Structured programming concepts in an introductory COBOL course Proceedings of the sixth SIGCSE technical symposium on Computer science education, (135-142)
  242. Segal R and White N Management of a large computer network simulation project Proceedings of the 4th symposium on Simulation of computer systems, (151-158)
  243. ACM
    Misuri G (1976). Survey of existing programming aids, ACM SIGPLAN Notices, 11:8, (38-41), Online publication date: 1-Aug-1976.
  244. ACM
    Bergman S and Kaufman A (1976). BGRAF2, ACM SIGGRAPH Computer Graphics, 10:2, (133-138), Online publication date: 1-Aug-1976.
  245. ACM
    Bergman S and Kaufman A BGRAF2 Proceedings of the 3rd annual conference on Computer graphics and interactive techniques, (133-138)
  246. ACM
    Mize J (1976). Structured programming concepts in an introductory COBOL course, ACM SIGCSE Bulletin, 8:3, (135-142), Online publication date: 1-Jul-1976.
  247. ACM
    Segal R and White N (1976). Management of a large computer network simulation project, ACM SIGSIM Simulation Digest, 7:4, (151-158), Online publication date: 1-Jul-1976.
  248. ACM
    Misra J A principle of algorithm design on limited problem domain Proceedings of the 13th Design Automation Conference, (479-483)
  249. ACM
    Tsui F and Priven L Implementation of quality control in software development Proceedings of the June 7-10, 1976, national computer conference and exposition, (443-449)
  250. ACM
    Keller R A modern beginning programming course Proceedings of the June 7-10, 1976, national computer conference and exposition, (165-170)
  251. ACM
    Hardgrave W (1976). Positional versus keyword parameter communication in programming languages, ACM SIGPLAN Notices, 11:5, (52-58), Online publication date: 1-May-1976.
  252. ACM
    Lampson B and Sturgis H (1976). Reflections on an operating system design, Communications of the ACM, 19:5, (251-265), Online publication date: 1-May-1976.
  253. ACM
    Katz S and Manna Z (1976). Logical analysis of programs, Communications of the ACM, 19:4, (188-206), Online publication date: 1-Apr-1976.
  254. ACM
    Shaw M Research directions in abstract data structures Proceedings of the 1976 conference on Data : Abstraction, definition and structure, (66-68)
  255. ACM
    Johnson R and Morris J Abstract data types in the Model programming language Proceedings of the 1976 conference on Data : Abstraction, definition and structure, (36-46)
  256. ACM
    Shaw M (1976). Research directions in abstract data structures, ACM SIGPLAN Notices, 11:SI, (66-68), Online publication date: 15-Mar-1976.
  257. ACM
    Johnson R and Morris J (1976). Abstract data types in the Model programming language, ACM SIGPLAN Notices, 11:SI, (36-46), Online publication date: 15-Mar-1976.
  258. ACM
    Shaw M (1976). Research directions in abstract data structures, ACM SIGMOD Record, 8:2, (66-68), Online publication date: 1-Mar-1976.
  259. ACM
    Johnson R and Morris J (1976). Abstract data types in the Model programming language, ACM SIGMOD Record, 8:2, (36-46), Online publication date: 1-Mar-1976.
  260. ACM
    Levine D (1976). Computer-controlled display demonstrations of dynamic concepts in computer science, ACM SIGCUE Outlook, 10:SI, (192-199), Online publication date: 1-Feb-1976.
  261. ACM
    Levine D (1976). Computer-controlled display demonstrations of dynamic concepts in computer science, ACM SIGCSE Bulletin, 8:1, (192-199), Online publication date: 1-Feb-1976.
  262. ACM
    Levine D Computer-controlled display demonstrations of dynamic concepts in computer science Proceedings of the ACM SIGCSE-SIGCUE technical symposium on Computer science and education, (192-199)
  263. ACM
    Lawson H Function distribution in computer system architectures Proceedings of the 3rd annual symposium on Computer architecture, (93-97)
  264. ACM
    Lawson H (1976). Function distribution in computer system architectures, ACM SIGARCH Computer Architecture News, 4:4, (93-97), Online publication date: 17-Jan-1976.
  265. ACM
    Embley D and Hansen W (1976). The KAIL selector, ACM SIGPLAN Notices, 11:1, (22-29), Online publication date: 1-Jan-1976.
  266. ACM
    Geller M Test data as an aid in proving program correctness Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, (209-218)
  267. ACM
    Baker B An algorithm for structuring programs (Extended Abstract) Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, (113-126)
  268. ACM
    Goodenough J (1975). Exception handling, Communications of the ACM, 18:12, (683-696), Online publication date: 1-Dec-1975.
  269. ACM
    Wulf W, Levin R and Pierson C Overview of the Hydra Operating System development Proceedings of the fifth ACM symposium on Operating systems principles, (122-131)
  270. ACM
    Berry D (1975). Structured documentation, ACM SIGPLAN Notices, 10:11, (7-12), Online publication date: 1-Nov-1975.
  271. ACM
    Wulf W, Levin R and Pierson C (1975). Overview of the Hydra Operating System development, ACM SIGOPS Operating Systems Review, 9:5, (122-131), Online publication date: 1-Nov-1975.
  272. ACM
    Pumplin B (1975). A simple example of the top-down approach to algorithm development, ACM SIGCSE Bulletin, 7:3, (35-37), Online publication date: 1-Sep-1975.
  273. ACM
    Wasserman A (1975). Issues in programming language design, ACM SIGPLAN Notices, 10:7, (10-12), Online publication date: 1-Jul-1975.
  274. ACM
    Andronico A, Leoni G and Luciani E A portable APL translator Proceedings of seventh international conference on APL, (20-25)
  275. ACM
    Abrams P What's wrong with APL? Proceedings of seventh international conference on APL, (1-8)
  276. ACM
    London R (1975). A view of program verification, ACM SIGPLAN Notices, 10:6, (534-545), Online publication date: 1-Jun-1975.
  277. ACM
    Hoare C (1975). Data reliability, ACM SIGPLAN Notices, 10:6, (528-533), Online publication date: 1-Jun-1975.
  278. ACM
    Goodenough J and Gerhart S (1975). Toward a theory of test data selection, ACM SIGPLAN Notices, 10:6, (493-510), Online publication date: 1-Jun-1975.
  279. ACM
    Infante R and Montanary U (1975). Proving structured programs correct, level by level, ACM SIGPLAN Notices, 10:6, (427-436), Online publication date: 1-Jun-1975.
  280. ACM
    Good D (1975). Provable programming, ACM SIGPLAN Notices, 10:6, (411-419), Online publication date: 1-Jun-1975.
  281. ACM
    Mills H (1975). How to write correct programs and know it, ACM SIGPLAN Notices, 10:6, (363-370), Online publication date: 1-Jun-1975.
  282. ACM
    Saxena A and Bredt T (1975). A structured specification of a hierarchical operating system, ACM SIGPLAN Notices, 10:6, (310-318), Online publication date: 1-Jun-1975.
  283. ACM
    Wulf W (1975). Reliable hardware-software architecture, ACM SIGPLAN Notices, 10:6, (122-130), Online publication date: 1-Jun-1975.
  284. ACM
    Gerhart S (1975). Knowledge about programs, ACM SIGPLAN Notices, 10:6, (88-95), Online publication date: 1-Jun-1975.
  285. ACM
    Geschke C and Mitchell J (1975). On the problem of uniform references to data structures, ACM SIGPLAN Notices, 10:6, (31-42), Online publication date: 1-Jun-1975.
  286. ACM
    Williams R (1975). Managing the development of reliable software, ACM SIGPLAN Notices, 10:6, (3-8), Online publication date: 1-Jun-1975.
  287. Tärnlund S (1975). Computation of resource requirements, BIT, 15:2, (215-220), Online publication date: 1-Jun-1975.
  288. ACM
    Freeman P Toward improved review of software designs Proceedings of the May 19-22, 1975, national computer conference and exposition, (329-334)
  289. ACM
    Wasserman A Issues in programming language design Proceedings of the May 19-22, 1975, national computer conference and exposition, (297-299)
  290. ACM
    Denning P On being one's own programming self Proceedings of the May 19-22, 1975, national computer conference and exposition, (283-283)
  291. ACM
    Griem P On the principle of unique definition Proceedings of the May 19-22, 1975, national computer conference and exposition, (265-270)
  292. ACM
    Kildall G Microcomputer software design Proceedings of the May 19-22, 1975, national computer conference and exposition, (99-106)
  293. ACM
    Lipton R, Eisenstat S and DeMillo R The complexity of control structures and data structures Proceedings of the seventh annual ACM symposium on Theory of computing, (186-193)
  294. ACM
    London R A view of program verification Proceedings of the international conference on Reliable software, (534-545)
  295. ACM
    Hoare C Data reliability Proceedings of the international conference on Reliable software, (528-533)
  296. ACM
    Goodenough J and Gerhart S Toward a theory of test data selection Proceedings of the international conference on Reliable software, (493-510)
  297. ACM
    Infante R and Montanary U Proving structured programs correct, level by level Proceedings of the international conference on Reliable software, (427-436)
  298. ACM
    Good D Provable programming Proceedings of the international conference on Reliable software, (411-419)
  299. ACM
    Mills H How to write correct programs and know it Proceedings of the international conference on Reliable software, (363-370)
  300. ACM
    Saxena A and Bredt T A structured specification of a hierarchical operating system Proceedings of the international conference on Reliable software, (310-318)
  301. ACM
    Wulf W Reliable hardware-software architecture Proceedings of the international conference on Reliable software, (122-130)
  302. ACM
    Gerhart S Knowledge about programs Proceedings of the international conference on Reliable software, (88-95)
  303. ACM
    Geschke C and Mitchell J On the problem of uniform references to data structures Proceedings of the international conference on Reliable software, (31-42)
  304. ACM
    Williams R Managing the development of reliable software Proceedings of the international conference on Reliable software, (3-8)
  305. ACM
    Higgins D (1975). A structured FORTRAN translator, ACM SIGPLAN Notices, 10:2, (42-48), Online publication date: 1-Feb-1975.
  306. ACM
    Wagener J (1975). Structured FORTRAN programming, ACM SIGCSE Bulletin, 7:1, (206-211), Online publication date: 1-Feb-1975.
  307. ACM
    Gerhart S (1975). Methods for teaching program verification, ACM SIGCSE Bulletin, 7:1, (172-178), Online publication date: 1-Feb-1975.
  308. ACM
    Ripley G (1975). A course in effective programming, ACM SIGCSE Bulletin, 7:1, (102-108), Online publication date: 1-Feb-1975.
  309. ACM
    Hanson A and Maly K (1975). A first course in computer science, ACM SIGCSE Bulletin, 7:1, (95-101), Online publication date: 1-Feb-1975.
  310. ACM
    Jensen E A distributed function computer for real-time control Proceedings of the 2nd annual symposium on Computer architecture, (176-182)
  311. ACM
    Lawson H and Magnhagen B Advantages of structured hardware Proceedings of the 2nd annual symposium on Computer architecture, (152-158)
  312. ACM
    Wagener J Structured FORTRAN programming Proceedings of the fifth SIGCSE technical symposium on Computer science education, (206-211)
  313. ACM
    Gerhart S Methods for teaching program verification Proceedings of the fifth SIGCSE technical symposium on Computer science education, (172-178)
  314. ACM
    Ripley G A course in effective programming Proceedings of the fifth SIGCSE technical symposium on Computer science education, (102-108)
  315. ACM
    Hanson A and Maly K A first course in computer science Proceedings of the fifth SIGCSE technical symposium on Computer science education, (95-101)
  316. ACM
    Herman T Organic program design Proceedings of the 1975 annual conference
  317. ACM
    Lucas H On the failure to implement structured programming and other techniques Proceedings of the 1975 annual conference, (291-293)
  318. ACM
    Hammer M The design of usable programming languages Proceedings of the 1975 annual conference, (225-229)
  319. ACM
    Yohe J Comments on the topic “programming, and its implication on programming languages” Proceedings of the 1975 annual conference, (219-220)
  320. ACM
    Goodenough J Structured exception handling Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (204-224)
  321. ACM
    Kennedy K Node listings applied to data flow analysis Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (10-21)
  322. ACM
    Mills H (1975). The new math of computer programming, Communications of the ACM, 18:1, (43-48), Online publication date: 1-Jan-1975.
  323. ACM
    Jensen E (1974). A distributed function computer for real-time control, ACM SIGARCH Computer Architecture News, 3:4, (176-182), Online publication date: 1-Dec-1974.
  324. ACM
    Lawson H and Magnhagen B (1974). Advantages of structured hardware, ACM SIGARCH Computer Architecture News, 3:4, (152-158), Online publication date: 1-Dec-1974.
  325. ACM
    Denning P (1974). Is "structured programming" any longer the right term?, ACM SIGPLAN Notices, 9:11, (4-6), Online publication date: 1-Nov-1974.
  326. ACM
    CACM Staff C (1974). ACM forum, Communications of the ACM, 17:11, (655-657), Online publication date: 1-Nov-1974.
  327. ACM
    Schreiner A, Redish K, Karp R, Page R and Cichelli R (1974). Correspondence from the members, ACM SIGPLAN Notices, 9:10, (2-8), Online publication date: 1-Oct-1974.
  328. ACM
    Denning P (1974). Is "structured programming" any longer the right term?, ACM SIGOPS Operating Systems Review, 8:4, (4-6), Online publication date: 1-Oct-1974.
  329. ACM
    Hoare C (1974). Monitors, Communications of the ACM, 17:10, (549-557), Online publication date: 1-Oct-1974.
  330. ACM
    Kleine H and Morris R (1974). Modern programming, ACM SIGPLAN Notices, 9:9, (14-17), Online publication date: 1-Sep-1974.
  331. ACM
    Lecarme O (1974). Structured programming, programming teaching and the language Pascal, ACM SIGPLAN Notices, 9:7, (15-21), Online publication date: 1-Jul-1974.
  332. ACM
    Wulf W, Cohen E, Corwin W, Jones A, Levin R, Pierson C and Pollack F (1974). HYDRA, Communications of the ACM, 17:6, (337-345), Online publication date: 1-Jun-1974.
  333. ACM
    Cohen J and Zuckerman C (1974). Two languages for estimating program efficiency, Communications of the ACM, 17:6, (301-308), Online publication date: 1-Jun-1974.
  334. ACM
    Lee R and Chang S (1974). Structured programming and automatic program synthesis, ACM SIGPLAN Notices, 9:4, (60-70), Online publication date: 1-Apr-1974.
  335. ACM
    Lee R and Chang S Structured programming and automatic program synthesis Proceedings of the ACM SIGPLAN symposium on Very high level languages, (60-70)
  336. ACM
    Basili V and Turner A (1974). Experiences with a simple structured programming language, ACM SIGCSE Bulletin, 6:1, (144-147), Online publication date: 1-Feb-1974.
  337. ACM
    Gries D (1974). What should we teach in an introductory programming course?, ACM SIGCSE Bulletin, 6:1, (81-89), Online publication date: 1-Feb-1974.
  338. ACM
    Basili V and Turner A Experiences with a simple structured programming language Proceedings of the fourth SIGCSE technical symposium on Computer science education, (144-147)
  339. ACM
    Gries D What should we teach in an introductory programming course? Proceedings of the fourth SIGCSE technical symposium on Computer science education, (81-89)
  340. ACM
    Tsiang P, Harlow C and Lodwick G The computer analysis of chest radiographs Proceedings of the 1974 annual ACM conference - Volume 2, (705-714)
  341. ACM
    Lucena C and Berry D Towards a definition of structured programming Proceedings of the 1974 annual ACM conference - Volume 2, (635-640)
  342. ACM
    Edwards N and Tellier H A look at characterizing the design of information systems Proceedings of the 1974 annual ACM conference - Volume 2, (612-621)
  343. ACM
    Sherr D A proposed non-procedural programming language for structured system development Proceedings of the 1974 annual ACM conference - Volume 2, (545-553)
  344. ACM
    Anagnostopoulos P Organizing computer systems for learnability and useability Conference record of the 6th annual workshop on Microprogramming, (65-70)
  345. Freeman P Automating software design Proceedings of the 10th Design Automation Workshop, (62-67)
Contributors
  • Norwegian Computing Center
  • The University of Texas at Austin
  • University of Oxford

Recommendations