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.
Book Downloads
Cited By
- 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)
- 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.
- Jones C List of Tony Hoare’s Publications Theories of Programming, (395-410)
- 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.
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.
- 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)
- Doss R (2014). Using goto statements, ACM SIGSOFT Software Engineering Notes, 39:5, (1-3), Online publication date: 17-Sep-2014.
- Misra J Orchestration Formal Aspects of Component Software, (5-12)
- 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)
- Unterholzner M Refactoring support for Smalltalk using static type inference Proceedings of the International Workshop on Smalltalk Technologies, (1-18)
- 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)
- Holmes R and Notkin D Identifying opaque behavioural changes Proceedings of the 33rd International Conference on Software Engineering, (995-997)
- 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)
- 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)
- Conway L IBM-ACS Dependable and Historic Computing, (185-224)
- Clarkson M and Schneider F (2010). Hyperproperties, Journal of Computer Security, 18:6, (1157-1210), Online publication date: 21-Sep-2010.
- 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)
- 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)
- Mullen T Writing code for other people Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications, (481-492)
- Mullen T (2009). Writing code for other people, ACM SIGPLAN Notices, 44:10, (481-492), Online publication date: 25-Oct-2009.
- Lü J, Ma X, Huang Y, Cao C and Xu F Internetware Proceedings of the First Asia-Pacific Symposium on Internetware, (1-9)
- 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)
- Perry D "Large" abstractions for software engineering Proceedings of the 2nd international workshop on The role of abstraction in software engineering, (31-33)
- Yao Y The Art of Granular Computing Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms, (101-112)
- 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)
- Wirth N Modula-2 and Oberon Proceedings of the third ACM SIGPLAN conference on History of programming languages, (3-1-3-10)
- 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)
- 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)
- Noble J and Biddle R Postmodern prospects for conceptual modelling Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53, (11-20)
- Wegener J Evolutionary testing techniques Proceedings of the Third international conference on StochasticAlgorithms: foundations and applications, (82-94)
- 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)
- 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.
- 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)
- 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)
- 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.
- 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)
- 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)
- Lisovik L (2004). Structured Turing Machines, Cybernetics and Systems Analysis, 40:2, (162-168), Online publication date: 1-Mar-2004.
- Gorlatch S (2004). Send-receive considered harmful, ACM Transactions on Programming Languages and Systems, 26:1, (47-56), Online publication date: 1-Jan-2004.
- 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)
- 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.
- Gorlatch S SAT Patterns and skeletons for parallel and distributed computing, (29-63)
- Creak A (2002). Edsger W. Dijkstra, ACM SIGPLAN Notices, 37:12, (14-16), Online publication date: 1-Dec-2002.
- Bustard D (2001). Software Engineering Books for Desert Island Reading, Automated Software Engineering, 8:1, (121-123), Online publication date: 1-Jan-2001.
- 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.
- 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.
- 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.
- Mills E (1999). Metrics in the software engineering curriculum, Annals of Software Engineering, 6:1-4, (181-200), Online publication date: 1-Apr-1999.
- 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)
- Carrington D Teaching software testing Proceedings of the 2nd Australasian conference on Computer science education, (59-64)
- 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.
- Chu W and Yang H A Formal Method to Software Integration in Reuse Proceedings of the 20th Conference on Computer Software and Applications
- Pan S and Dromey R Beyond structured programming Proceedings of the 18th international conference on Software engineering, (268-277)
- 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)
- 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.
- Hansen P Monitors and Concurrent Pascal History of programming languages---II, (121-172)
- Raccoon L (1995). The chaos strategy, ACM SIGSOFT Software Engineering Notes, 20:5, (40-47), Online publication date: 1-Dec-1995.
- 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.
- Voas J, Payne J, Mills R and McManus J Software testability Proceedings of the 1995 Symposium on Software reusability, (247-255)
- 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.
- Roberts E (1995). Loop exits and structured programming, ACM SIGCSE Bulletin, 27:1, (268-272), Online publication date: 15-Mar-1995.
- Roberts E Loop exits and structured programming Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (268-272)
- Müller B (1993). Is object-oriented programming structured programming?, ACM SIGPLAN Notices, 28:9, (57-66), Online publication date: 1-Sep-1993.
- Hansen P Monitors and concurrent Pascal The second ACM SIGPLAN conference on History of programming languages, (1-35)
- Hansen P (1993). Monitors and concurrent Pascal, ACM SIGPLAN Notices, 28:3, (1-35), Online publication date: 1-Mar-1993.
- Butler D and Hansen C (1992). Visualization '91 workshop report, ACM SIGGRAPH Computer Graphics, 26:3, (213-216), Online publication date: 1-Aug-1992.
- Salomon D (1992). Four Dimensions of programming-language independence, ACM SIGPLAN Notices, 27:3, (35-53), Online publication date: 1-Mar-1992.
- 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.
- Pair C (1990). GRIN, IEEE Annals of the History of Computing, 12:3, (159-166), Online publication date: 1-Jul-1990.
- Guindon R (2018). Designing the design process, Human-Computer Interaction, 5:2, (305-344), Online publication date: 1-Jun-1990.
- Yadav S (1990). Control and Definition Modularization, IEEE Transactions on Software Engineering, 16:1, (92-99), Online publication date: 1-Jan-1990.
- Nakagawa A and Futatsugi K Stepwise refinement process with modularity Proceedings of the 11th international conference on Software engineering, (166-177)
- Liskov B (1987). Keynote address - data abstraction and hierarchy, ACM SIGPLAN Notices, 23:5, (17-34), Online publication date: 1-May-1988.
- Baecker R Enhancing program readability and comprehensibility with tools for program visualization Proceedings of the 10th international conference on Software engineering, (356-366)
- Bhatti M (1988). Incremental execution environment, ACM SIGPLAN Notices, 23:4, (56-64), Online publication date: 1-Apr-1988.
- 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)
- Jonsson D (1987). Pancode and boxcharts: structured programming revisited, ACM SIGPLAN Notices, 22:8, (89-98), Online publication date: 1-Aug-1987.
- Bhujade M (1987). Visual specification of blocks in programming languages, ACM SIGPLAN Notices, 22:8, (24-26), Online publication date: 1-Aug-1987.
- 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)
- Liskov B Keynote address - data abstraction and hierarchy Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum), (17-34)
- 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)
- Nguyen V and Hailpern B (1986). A generalized object model, ACM SIGPLAN Notices, 21:10, (78-87), Online publication date: 1-Oct-1986.
- Nguyen V and Hailpern B A generalized object model Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming, (78-87)
- Tudruj M and Gajda R A microprogrammable architecture with quasi time-transparent structured control Proceedings of the 18th annual workshop on Microprogramming, (19-29)
- 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.
- Tenny T (1985). Procedures and comments vs. the banker's algorithm, ACM SIGCSE Bulletin, 17:3, (44-53), Online publication date: 1-Sep-1985.
- Sussman G Intelligent support for the engineering of software (panel paper) Proceedings of the 8th international conference on Software engineering, (397-399)
- 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.
- 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)
- 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.
- Madhavji N (1984). Visibility aspects of programmed dynamic data structures, Communications of the ACM, 27:8, (764-776), Online publication date: 1-Aug-1984.
- 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.
- 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)
- 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)
- 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.
- Kessels J (1983). On-the-fly optimization of data structures, Communications of the ACM, 26:11, (895-901), Online publication date: 1-Nov-1983.
- Crookes D (1983). Experience with teaching assembly language, ACM SIGCSE Bulletin, 15:3, (50-52), Online publication date: 1-Sep-1983.
- Francis R (1983). Containment defines a class of recursive data structures, ACM SIGPLAN Notices, 18:4, (58-64), Online publication date: 1-Apr-1983.
- Van Oost E (1983). DUIF, ACM SIGPLAN Notices, 18:2, (69-75), Online publication date: 1-Feb-1983.
- Löfgren M and Magnusson B (1982). Access mechanisms in block structured environments, BIT, 22:4, (419-436), Online publication date: 1-Dec-1982.
- Wegner P (1982). Reflections on capital-intensive software technology, ACM SIGSOFT Software Engineering Notes, 7:4, (24-33), Online publication date: 1-Oct-1982.
- de Jong M and Hankin C (1982). Structured data flow programming, ACM SIGPLAN Notices, 17:8, (18-27), Online publication date: 1-Aug-1982.
- Lu D (1982). Watchdog Processors and Structural Integrity Checking, IEEE Transactions on Computers, 31:7, (681-685), Online publication date: 1-Jul-1982.
- Hwang C Structured D-chart Proceedings of the June 7-10, 1982, national computer conference, (735-748)
- Bowles K The impact of Ada on software engineering Proceedings of the June 7-10, 1982, national computer conference, (327-332)
- Park T and Korpman R (1982). TMML, ACM SIGSMALL Newsletter, 8:1, (30-46), Online publication date: 1-Feb-1982.
- Murray R Namespaces semipermeable membranes for APL applications Proceedings of the international conference on APL, (220-226)
- Murray R (1981). Namespaces semipermeable membranes for APL applications, ACM SIGAPL APL Quote Quad, 12:1, (220-226), Online publication date: 1-Sep-1981.
- Nash D and Willman H Software engineering applied to computer-aided design (CAD) software development Proceedings of the 18th Design Automation Conference, (530-539)
- 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.
- 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)
- Riley D Teaching problem solving in an introductory computer science class Proceedings of the twelfth SIGCSE technical symposium on Computer science education, (244-251)
- 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.
- Birtwistle G Advanced use of Simula Proceedings of the 13th conference on Winter simulation - Volume 1, (293-304)
- 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)
- Lee K Status of graduate software engineering education Proceedings of the ACM '81 conference, (179-183)
- Giacomucci A and Friedman F Capsules Proceedings of the ACM '81 conference, (154-160)
- Hansen W The structure of “data structures” Proceedings of the ACM '81 conference, (89-95)
- 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)
- Sharp J (1980). Data oriented program design, ACM SIGPLAN Notices, 15:9, (44-57), Online publication date: 1-Sep-1980.
- Kreutzer W (1980). Patterns of modelling, ACM SIGSIM Simulation Digest, 11:3-4, (7-23), Online publication date: 1-Sep-1980.
- Burstall R, MacQueen D and Sannella D HOPE Proceedings of the 1980 ACM conference on LISP and functional programming, (136-143)
- Wasserman A The design of PLAIN Proceedings of the May 19-22, 1980, national computer conference, (731-740)
- Turner J (1980). The structure of modular program, Communications of the ACM, 23:5, (272-277), Online publication date: 1-May-1980.
- (1980). Data quality in information systems, Information and Management, 3:6, (245-258), Online publication date: 1-May-1980.
- Gries D (1980). Eliminating the chaff, ACM SIGSOFT Software Engineering Notes, 5:2, (17-21), Online publication date: 1-Apr-1980.
- Ellison R A programming sequence for the liberal arts college Proceedings of the eleventh SIGCSE technical symposium on Computer science education, (161-164)
- Ellison R (1980). A programming sequence for the liberal arts college, ACM SIGCSE Bulletin, 12:1, (161-164), Online publication date: 1-Feb-1980.
- Král J (1980). Parkinson programming, ACM SIGPLAN Notices, 15:2, (46-50), Online publication date: 1-Feb-1980.
- Rosen B (1980). Monoids for Rapid Data Flow Analysis, SIAM Journal on Computing, 9:1, (159-196), Online publication date: 1-Feb-1980.
- 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.
- Schrage J Educator's view of structured concepts Proceedings of the ACM 1980 annual conference, (327-341)
- Solomon M and Finkel R The Roscoe distributed operating system Proceedings of the seventh ACM symposium on Operating systems principles, (108-114)
- 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)
- 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.
- Schonberg E (1979). Hierarchical design and efficient implementation in SETL, ACM SIGPLAN Notices, 14:10, (69-74), Online publication date: 1-Oct-1979.
- Elovitz H An experiment in software engineering Proceedings of the 4th international conference on Software engineering, (145-152)
- Ploedereder E Pragmatic techniques for program analysis and verification Proceedings of the 4th international conference on Software engineering, (63-72)
- Cheatham T, Townley J and Holloway G A system for program refinement Proceedings of the 4th international conference on Software engineering, (53-62)
- 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.
- 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.
- 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)
- 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.
- 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.
- Jackson G (1979). Two-dimensional grammars and structured programming languages, ACM SIGPLAN Notices, 14:2, (21-28), Online publication date: 1-Feb-1979.
- Noonan R (1979). The second course in computer programming, ACM SIGCSE Bulletin, 11:1, (187-191), Online publication date: 1-Feb-1979.
- 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.
- Knuth D Structured programming with go to statements Classics in software engineering, (257-321)
- Kernighan B and Plauger P Programming style Classics in software engineering, (233-255)
- Noonan R The second course in computer programming Proceedings of the tenth SIGCSE technical symposium on Computer science education, (187-191)
- 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)
- 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)
- 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.
- Atkinson R, Liskov B and Scheifler R Aspects Of Implementing CLU Proceedings of the 1978 annual conference, (123-129)
- 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.
- Pierce R (1978). A Requirements Tracing Tool, ACM SIGSOFT Software Engineering Notes, 3:5, (53-60), Online publication date: 15-Nov-1978.
- Pierce R (1978). A Requirements Tracing Tool, ACM SIGMETRICS Performance Evaluation Review, 7:3-4, (53-60), Online publication date: 1-Nov-1978.
- Skordalakis E and Papakonstantinou G (1978). Coroutines in FORTRAN, ACM SIGPLAN Notices, 13:9, (76-84), Online publication date: 1-Sep-1978.
- 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.
- 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.
- 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)
- 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)
- 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.
- 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.
- Kleine H Automating the software design process by means of software design and documentation language Proceedings of the 15th Design Automation Conference, (371-379)
- Persch G and Winterstein G Symbolic interpretation and tracing of PASCAL-programs Proceedings of the 3rd international conference on Software engineering, (312-319)
- 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)
- Chapin N and Denniston S (1978). Characteristics of a structured program, ACM SIGPLAN Notices, 13:5, (36-45), Online publication date: 1-May-1978.
- 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.
- Hanson D and Griswold R (1978). The SL5 procedure mechanism, Communications of the ACM, 21:5, (392-400), Online publication date: 1-May-1978.
- 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)
- Jacobsen T (1978). Another view of coroutines, ACM SIGPLAN Notices, 13:4, (68-75), Online publication date: 1-Apr-1978.
- Clema J General purpose tools for system simulation Proceedings of the 11th annual symposium on Simulation, (37-60)
- Weiner L The roots of structured programming Papers of the SIGCSE/CSA technical symposium on Computer science education, (243-254)
- Chanon R A course in programming and practice Papers of the SIGCSE/CSA technical symposium on Computer science education, (224-228)
- Mathis R A first course in computer science for graduate students Papers of the SIGCSE/CSA technical symposium on Computer science education, (217-223)
- 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)
- Weiner L (1978). The roots of structured programming, ACM SIGCSE Bulletin, 10:1, (243-254), Online publication date: 1-Feb-1978.
- Chanon R (1978). A course in programming and practice, ACM SIGCSE Bulletin, 10:1, (224-228), Online publication date: 1-Feb-1978.
- 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.
- 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.
- Pierce R A Requirements Tracing Tool Proceedings of the software quality assurance workshop on Functional and performance issues, (53-60)
- Rosen B Monoids for rapid data flow analysis Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (47-59)
- Reynolds J Syntactic control of interference Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (39-46)
- Abramson H (1977). Ordered types and a generalized for statement, ACM SIGPLAN Notices, 12:12, (55-59), Online publication date: 1-Dec-1977.
- Arisawa M (1977). Programming languages with hierarchical structure, ACM SIGPLAN Notices, 12:12, (36-38), Online publication date: 1-Dec-1977.
- Rosen B (1977). High-level data flow analysis, Communications of the ACM, 20:10, (712-724), Online publication date: 1-Oct-1977.
- Dowsing R (1977). Structured programming constructs for concurrency in program optimisation, ACM SIGPLAN Notices, 12:9, (31-35), Online publication date: 1-Sep-1977.
- Swartout W A digitalis therapy advisor with explanations Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2, (819-825)
- Basili V and Zelkowitz M The software engineering laboratory Proceedings of the fifteenth annual SIGCPR conference, (256-269)
- Davis R (1977). “Recommended mathematical topics for computer science majors”, ACM SIGCSE Bulletin, 9:3, (51-55), Online publication date: 1-Aug-1977.
- Woolley J (1977). Fortran, ACM SIGPLAN Notices, 12:7, (112-125), Online publication date: 1-Jul-1977.
- Grune D (1977). A view of coroutines, ACM SIGPLAN Notices, 12:7, (75-81), Online publication date: 1-Jul-1977.
- Dembinski P and Schwartz R (1977). The taming of the pointer, ACM SIGPLAN Notices, 12:7, (60-74), Online publication date: 1-Jul-1977.
- 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.
- 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)
- 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)
- Ratcliff B (1977). ALGOL 68 and structured programming for learner-programmers, ACM SIGPLAN Notices, 12:6, (157-160), Online publication date: 1-Jun-1977.
- 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.
- Towster E An introduction to chunk structure Proceedings of the 15th annual Southeast regional conference, (441-450)
- Urban J and Towster E Specifications of computer programs using Hoare tree formalism Proceedings of the 15th annual Southeast regional conference, (414-425)
- Herriot R (1977). Towards the ideal programming language, ACM SIGOPS Operating Systems Review, 11:2, (56-62), Online publication date: 1-Apr-1977.
- 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.
- Ratcliff B ALGOL 68 and structured programming for learner-programmers Proceedings of the Strathclyde ALGOL 68 conference, (157-160)
- Herriot R Towards the ideal programming language Proceedings of an ACM conference on Language design for reliable software, (56-62)
- 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)
- Herriot R (1977). Towards the ideal programming language, ACM SIGSOFT Software Engineering Notes, 2:2, (56-62), Online publication date: 1-Mar-1977.
- 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.
- Herriot R (1977). Towards the ideal programming language, ACM SIGPLAN Notices, 12:3, (56-62), Online publication date: 1-Mar-1977.
- 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.
- Davis R “Recommended mathematical topics for computer science majors” Proceedings of the eighth SIGCSE technical symposium on Computer science education, (51-55)
- Martin E and Badre A Problem formulation for programmers Proceedings of the seventh SIGCSE technical symposium on Computer science education, (133-138)
- Beidler J A place for assembler in structured programming Proceedings of the seventh SIGCSE technical symposium on Computer science education, (108-112)
- Hughes H A tool designed to facilitate structured programming Proceedings of the seventh SIGCSE technical symposium on Computer science education, (26-30)
- 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)
- Martin E and Badre A (1977). Problem formulation for programmers, ACM SIGCSE Bulletin, 9:1, (133-138), Online publication date: 1-Feb-1977.
- Beidler J (1977). A place for assembler in structured programming, ACM SIGCSE Bulletin, 9:1, (108-112), Online publication date: 1-Feb-1977.
- Hughes H (1977). A tool designed to facilitate structured programming, ACM SIGCSE Bulletin, 9:1, (26-30), Online publication date: 1-Feb-1977.
- 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.
- Burkhardt K and DeSanto J The modular logic machine design system for loosely coupled systems Proceedings of the 1977 annual conference, (365-371)
- Cho C Structured data interfacing for software systems Proceedings of the 1977 annual conference, (145-152)
- Rosen B Applications of high level control flow Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (38-47)
- Williams K (1976). An experimental course in advanced programming methods, ACM SIGCSE Bulletin, 8:4, (15-18), Online publication date: 1-Dec-1976.
- 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.
- Good D and Fosdick L SIGSOFT tutorial on program verification (Tutorial Session) Proceedings of the 1976 annual conference, (521-522)
- Standish T, Kibler D and Neighbors J Improving and refining programs by program manipulation Proceedings of the 1976 annual conference, (509-516)
- Hanson D A procedure mechanism for backtrack programming Proceedings of the 1976 annual conference, (401-405)
- 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)
- Miyamoto I Some considerations in database application programming Proceedings of the 2nd international conference on Software engineering, (545-555)
- Guttag J, Horowitz E and Musser D The design of data type specifications Proceedings of the 2nd international conference on Software engineering, (414-420)
- White J and Booth T Towards an engineering approach to software design Proceedings of the 2nd international conference on Software engineering, (214-222)
- Karp R and Luckham D Verification of fairness in an implementation of monitors Proceedings of the 2nd international conference on Software engineering, (40-46)
- Mein W Toward a data structure extension for APL Proceedings of the eighth international conference on APL, (308-313)
- Cook A (1976). Experience with extensible, portable Fortran extensions, ACM SIGPLAN Notices, 11:9, (10-17), Online publication date: 1-Sep-1976.
- Mize J Structured programming concepts in an introductory COBOL course Proceedings of the sixth SIGCSE technical symposium on Computer science education, (135-142)
- 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)
- Misuri G (1976). Survey of existing programming aids, ACM SIGPLAN Notices, 11:8, (38-41), Online publication date: 1-Aug-1976.
- Bergman S and Kaufman A (1976). BGRAF2, ACM SIGGRAPH Computer Graphics, 10:2, (133-138), Online publication date: 1-Aug-1976.
- Bergman S and Kaufman A BGRAF2 Proceedings of the 3rd annual conference on Computer graphics and interactive techniques, (133-138)
- Mize J (1976). Structured programming concepts in an introductory COBOL course, ACM SIGCSE Bulletin, 8:3, (135-142), Online publication date: 1-Jul-1976.
- 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.
- Misra J A principle of algorithm design on limited problem domain Proceedings of the 13th Design Automation Conference, (479-483)
- 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)
- Keller R A modern beginning programming course Proceedings of the June 7-10, 1976, national computer conference and exposition, (165-170)
- Hardgrave W (1976). Positional versus keyword parameter communication in programming languages, ACM SIGPLAN Notices, 11:5, (52-58), Online publication date: 1-May-1976.
- 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.
- Katz S and Manna Z (1976). Logical analysis of programs, Communications of the ACM, 19:4, (188-206), Online publication date: 1-Apr-1976.
- Shaw M Research directions in abstract data structures Proceedings of the 1976 conference on Data : Abstraction, definition and structure, (66-68)
- 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)
- Shaw M (1976). Research directions in abstract data structures, ACM SIGPLAN Notices, 11:SI, (66-68), Online publication date: 15-Mar-1976.
- 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.
- Shaw M (1976). Research directions in abstract data structures, ACM SIGMOD Record, 8:2, (66-68), Online publication date: 1-Mar-1976.
- 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.
- 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.
- 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.
- 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)
- Lawson H Function distribution in computer system architectures Proceedings of the 3rd annual symposium on Computer architecture, (93-97)
- Lawson H (1976). Function distribution in computer system architectures, ACM SIGARCH Computer Architecture News, 4:4, (93-97), Online publication date: 17-Jan-1976.
- Embley D and Hansen W (1976). The KAIL selector, ACM SIGPLAN Notices, 11:1, (22-29), Online publication date: 1-Jan-1976.
- 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)
- Baker B An algorithm for structuring programs (Extended Abstract) Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, (113-126)
- Goodenough J (1975). Exception handling, Communications of the ACM, 18:12, (683-696), Online publication date: 1-Dec-1975.
- 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)
- Berry D (1975). Structured documentation, ACM SIGPLAN Notices, 10:11, (7-12), Online publication date: 1-Nov-1975.
- 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.
- 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.
- Wasserman A (1975). Issues in programming language design, ACM SIGPLAN Notices, 10:7, (10-12), Online publication date: 1-Jul-1975.
- Andronico A, Leoni G and Luciani E A portable APL translator Proceedings of seventh international conference on APL, (20-25)
- Abrams P What's wrong with APL? Proceedings of seventh international conference on APL, (1-8)
- London R (1975). A view of program verification, ACM SIGPLAN Notices, 10:6, (534-545), Online publication date: 1-Jun-1975.
- Hoare C (1975). Data reliability, ACM SIGPLAN Notices, 10:6, (528-533), Online publication date: 1-Jun-1975.
- 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.
- 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.
- Good D (1975). Provable programming, ACM SIGPLAN Notices, 10:6, (411-419), Online publication date: 1-Jun-1975.
- Mills H (1975). How to write correct programs and know it, ACM SIGPLAN Notices, 10:6, (363-370), Online publication date: 1-Jun-1975.
- 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.
- Wulf W (1975). Reliable hardware-software architecture, ACM SIGPLAN Notices, 10:6, (122-130), Online publication date: 1-Jun-1975.
- Gerhart S (1975). Knowledge about programs, ACM SIGPLAN Notices, 10:6, (88-95), Online publication date: 1-Jun-1975.
- 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.
- Williams R (1975). Managing the development of reliable software, ACM SIGPLAN Notices, 10:6, (3-8), Online publication date: 1-Jun-1975.
- Tärnlund S (1975). Computation of resource requirements, BIT, 15:2, (215-220), Online publication date: 1-Jun-1975.
- Freeman P Toward improved review of software designs Proceedings of the May 19-22, 1975, national computer conference and exposition, (329-334)
- Wasserman A Issues in programming language design Proceedings of the May 19-22, 1975, national computer conference and exposition, (297-299)
- Denning P On being one's own programming self Proceedings of the May 19-22, 1975, national computer conference and exposition, (283-283)
- Griem P On the principle of unique definition Proceedings of the May 19-22, 1975, national computer conference and exposition, (265-270)
- Kildall G Microcomputer software design Proceedings of the May 19-22, 1975, national computer conference and exposition, (99-106)
- 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)
- London R A view of program verification Proceedings of the international conference on Reliable software, (534-545)
- Hoare C Data reliability Proceedings of the international conference on Reliable software, (528-533)
- Goodenough J and Gerhart S Toward a theory of test data selection Proceedings of the international conference on Reliable software, (493-510)
- Infante R and Montanary U Proving structured programs correct, level by level Proceedings of the international conference on Reliable software, (427-436)
- Good D Provable programming Proceedings of the international conference on Reliable software, (411-419)
- Mills H How to write correct programs and know it Proceedings of the international conference on Reliable software, (363-370)
- Saxena A and Bredt T A structured specification of a hierarchical operating system Proceedings of the international conference on Reliable software, (310-318)
- Wulf W Reliable hardware-software architecture Proceedings of the international conference on Reliable software, (122-130)
- Gerhart S Knowledge about programs Proceedings of the international conference on Reliable software, (88-95)
- Geschke C and Mitchell J On the problem of uniform references to data structures Proceedings of the international conference on Reliable software, (31-42)
- Williams R Managing the development of reliable software Proceedings of the international conference on Reliable software, (3-8)
- Higgins D (1975). A structured FORTRAN translator, ACM SIGPLAN Notices, 10:2, (42-48), Online publication date: 1-Feb-1975.
- Wagener J (1975). Structured FORTRAN programming, ACM SIGCSE Bulletin, 7:1, (206-211), Online publication date: 1-Feb-1975.
- Gerhart S (1975). Methods for teaching program verification, ACM SIGCSE Bulletin, 7:1, (172-178), Online publication date: 1-Feb-1975.
- Ripley G (1975). A course in effective programming, ACM SIGCSE Bulletin, 7:1, (102-108), Online publication date: 1-Feb-1975.
- 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.
- Jensen E A distributed function computer for real-time control Proceedings of the 2nd annual symposium on Computer architecture, (176-182)
- Lawson H and Magnhagen B Advantages of structured hardware Proceedings of the 2nd annual symposium on Computer architecture, (152-158)
- Wagener J Structured FORTRAN programming Proceedings of the fifth SIGCSE technical symposium on Computer science education, (206-211)
- Gerhart S Methods for teaching program verification Proceedings of the fifth SIGCSE technical symposium on Computer science education, (172-178)
- Ripley G A course in effective programming Proceedings of the fifth SIGCSE technical symposium on Computer science education, (102-108)
- Hanson A and Maly K A first course in computer science Proceedings of the fifth SIGCSE technical symposium on Computer science education, (95-101)
- Herman T Organic program design Proceedings of the 1975 annual conference
- Lucas H On the failure to implement structured programming and other techniques Proceedings of the 1975 annual conference, (291-293)
- Hammer M The design of usable programming languages Proceedings of the 1975 annual conference, (225-229)
- Yohe J Comments on the topic “programming, and its implication on programming languages” Proceedings of the 1975 annual conference, (219-220)
- Goodenough J Structured exception handling Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (204-224)
- Kennedy K Node listings applied to data flow analysis Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (10-21)
- Mills H (1975). The new math of computer programming, Communications of the ACM, 18:1, (43-48), Online publication date: 1-Jan-1975.
- 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.
- 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.
- Denning P (1974). Is "structured programming" any longer the right term?, ACM SIGPLAN Notices, 9:11, (4-6), Online publication date: 1-Nov-1974.
- CACM Staff C (1974). ACM forum, Communications of the ACM, 17:11, (655-657), Online publication date: 1-Nov-1974.
- 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.
- 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.
- Hoare C (1974). Monitors, Communications of the ACM, 17:10, (549-557), Online publication date: 1-Oct-1974.
- Kleine H and Morris R (1974). Modern programming, ACM SIGPLAN Notices, 9:9, (14-17), Online publication date: 1-Sep-1974.
- Lecarme O (1974). Structured programming, programming teaching and the language Pascal, ACM SIGPLAN Notices, 9:7, (15-21), Online publication date: 1-Jul-1974.
- 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.
- 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.
- 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.
- Lee R and Chang S Structured programming and automatic program synthesis Proceedings of the ACM SIGPLAN symposium on Very high level languages, (60-70)
- 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.
- 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.
- 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)
- Gries D What should we teach in an introductory programming course? Proceedings of the fourth SIGCSE technical symposium on Computer science education, (81-89)
- Tsiang P, Harlow C and Lodwick G The computer analysis of chest radiographs Proceedings of the 1974 annual ACM conference - Volume 2, (705-714)
- Lucena C and Berry D Towards a definition of structured programming Proceedings of the 1974 annual ACM conference - Volume 2, (635-640)
- 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)
- Sherr D A proposed non-procedural programming language for structured system development Proceedings of the 1974 annual ACM conference - Volume 2, (545-553)
- Anagnostopoulos P Organizing computer systems for learnability and useability Conference record of the 6th annual workshop on Microprogramming, (65-70)
- Freeman P Automating software design Proceedings of the 10th Design Automation Workshop, (62-67)
Index Terms
- Structured programming
Recommendations
Structured programming with go to statements
Classics in software engineeringFor serious students of structured programming, and also for language designers, Knuth's "Structured Programming with go to Statements" is probably the paper to read. It is by far the most complete description of structured programming of all the ...
Structured programming
Encyclopedia of Computer ScienceStructured programming (SP) may be defined as a methodological style whereby a computer program is constructed by concatenating or coherently nesting logical subunits that either are themselves structured programs or else are of the form of one or ...
Advanced structured COBOL programming
Special issue seventh technical symposium on computer science educationThere is a large market demand for COBOL programmers. Can a single introductory course in COBOL programming provide the students with sufficient professional expertise to qualify them for these job openings? If not, is it feasible to offer a second ...