Abstract
No abstract available.
Cited By
- Apt K and Olderog E Assessing the Success and Impact of Hoare’s Logic Theories of Programming, (41-76)
- Sekerinski E Teaching Concurrency with the Disappearing Formal Method Formal Methods Teaching, (135-149)
- Kirsch C Selfie and the basics Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (198-213)
- Srivastava S, Gulwani S and Foster J From program verification to program synthesis Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (313-326)
- Srivastava S, Gulwani S and Foster J (2010). From program verification to program synthesis, ACM SIGPLAN Notices, 45:1, (313-326), Online publication date: 2-Jan-2010.
- Caspersen M and Kolling M (2009). STREAM, ACM Transactions on Computing Education, 9:1, (1-29), Online publication date: 1-Mar-2009.
- Floyd R The paradigms of programming ACM Turing award lectures
- Nielsen C, Overgaard M, Pedersen M, Stage J and Stenild S Exploring interaction space as abstraction mechanism for task-based user interface design Proceedings of the 5th international conference on Task models and diagrams for users interface design, (202-216)
- 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)
- Harrison J Floating-Point verification using theorem proving Proceedings of the 6th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems, (211-242)
- Mickel A Pascal Encyclopedia of Computer Science, (1372-1373)
- Reilly E Expression Encyclopedia of Computer Science, (689-690)
- Noonan R An object-oriented view of backtracking Proceedings of the thirty-first SIGCSE technical symposium on Computer science education, (362-366)
- Noonan R (2000). An object-oriented view of backtracking, ACM SIGCSE Bulletin, 32:1, (362-366), Online publication date: 1-Mar-2000.
- Cohen R, Eades P, Lin T and Ruskey F Volume upper bounds for 3D graph drawing Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
- Müller B (1993). Is object-oriented programming structured programming?, ACM SIGPLAN Notices, 28:9, (57-66), Online publication date: 1-Sep-1993.
- Abernethy K and Kelly J Comparing object-oriented and data flow models—a case study Proceedings of the 1992 ACM annual conference on Communications, (541-547)
- Gyorkos J, Rozman I and Welzer T (1990). Dynamical system specifications as validation media, ACM SIGPLAN Notices, 25:9, (10-16), Online publication date: 1-Sep-1990.
- Pair C (2018). GRIN, IEEE Annals of the History of Computing, 12:3, (159-166), Online publication date: 1-Jul-1990.
- Lin F and Hunt F (1989). LCD-reification: a formal method for developing Prolog programs, ACM SIGSOFT Software Engineering Notes, 14:3, (249-256), Online publication date: 1-May-1989.
- Lin F and Hunt F LCD-reification: a formal method for developing Prolog programs Proceedings of the 5th international workshop on Software specification and design, (249-256)
- Pritchard P (1984). Some negative results concerning prime number generators, Communications of the ACM, 27:1, (53-57), Online publication date: 1-Jan-1984.
- Abbott R (1983). Program design by informal English descriptions, Communications of the ACM, 26:11, (882-894), Online publication date: 1-Nov-1983.
- Mac an Airchinnigh M (1983). The Σ- concept, ACM SIGCHI Bulletin, 14:4, (8-15), Online publication date: 1-Apr-1983.
- Sammet J, Waugh D and Reiter R (1982). PDL/Ada, ACM SIGAda Ada Letters, II:3, (19-31), Online publication date: 1-Nov-1982.
- Mandrioli D (1982). On teaching theoretical foundations of Computer Science, ACM SIGACT News, 14:4, (58-69), Online publication date: 1-Sep-1982.
- Moffatt D and Moffat P (1982). Eighteen Pascal texts, ACM SIGCSE Bulletin, 14:2, (2-10), Online publication date: 1-Jun-1982.
- Anderson R Modular documentation Proceedings of the May 4-7, 1981, national computer conference, (401-405)
- Lingard R A software methodology for building interactive tools Proceedings of the 5th international conference on Software engineering, (394-399)
- 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.
- Sammet J, Waugh D and Reiter R PDL/Ada—a design language based on Ada Proceedings of the ACM '81 conference, (217-229)
- Mathiassen L (1980). System description as a tool for teaching programming, ACM SIGCSE Bulletin, 12:4, (33-42), Online publication date: 1-Dec-1980.
- Král J (1980). Parkinson programming, ACM SIGPLAN Notices, 15:2, (46-50), Online publication date: 1-Feb-1980.
- Schrage J Educator's view of structured concepts Proceedings of the ACM 1980 annual conference, (327-341)
- Ryan K Software engineering and simulation Proceedings of the 11th conference on Winter simulation - Volume 2, (477-482)
- Floyd R (1979). The paradigms of programming, Communications of the ACM, 22:8, (455-460), Online publication date: 1-Aug-1979.
- Noonan R (1979). The second course in computer programming, ACM SIGCSE Bulletin, 11:1, (187-191), Online publication date: 1-Feb-1979.
- Kimura T (1979). Reading before composition, ACM SIGCSE Bulletin, 11:1, (162-166), 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.
- Wirth N On the composition of well-structured programs Classics in software engineering, (151-171)
- Noonan R The second course in computer programming Proceedings of the tenth SIGCSE technical symposium on Computer science education, (187-191)
- Kimura T Reading before composition Proceedings of the tenth SIGCSE technical symposium on Computer science education, (162-166)
- 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)
- Dasgupta S (1978). Towards a microprogramming language schema, ACM SIGMICRO Newsletter, 9:4, (144-153), Online publication date: 1-Dec-1978.
- Dasgupta S Towards a microprogramming language schema Proceedings of the 11th annual workshop on Microprogramming, (144-153)
- Bergland G Structured design methodologies Proceedings of the 15th Design Automation Conference, (475-493)
- Lekkos A and Peters C How to develop module logic using pseudo-code and stepwise refinement Proceedings of the 15th Design Automation Conference, (366-370)
- Thalmann N and Thalmann D The use of PASCAL as a teaching tool in introductory, intermediate and advanced computer science courses Papers of the SIGCSE/CSA technical symposium on Computer science education, (277-281)
- Weiner L The roots of structured programming Papers of the SIGCSE/CSA technical symposium on Computer science education, (243-254)
- Khailany A and Saxon C Conducting project team classes in data processing Papers of the SIGCSE/CSA technical symposium on Computer science education, (189-192)
- Solntseff N Programming languages for introductory computing courses Papers of the SIGCSE/CSA technical symposium on Computer science education, (119-124)
- 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)
- Chvalovsky V Computer science education at universities Papers of the SIGCSE/CSA technical symposium on Computer science education, (41-47)
- Thalmann N and Thalmann D (1978). The use of PASCAL as a teaching tool in introductory, intermediate and advanced computer science courses, ACM SIGCSE Bulletin, 10:1, (277-281), Online publication date: 1-Feb-1978.
- Weiner L (1978). The roots of structured programming, ACM SIGCSE Bulletin, 10:1, (243-254), Online publication date: 1-Feb-1978.
- Khailany A and Saxon C (1978). Conducting project team classes in data processing, ACM SIGCSE Bulletin, 10:1, (189-192), Online publication date: 1-Feb-1978.
- Solntseff N (1978). Programming languages for introductory computing courses, ACM SIGCSE Bulletin, 10:1, (119-124), 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.
- Chvalovsky V (1978). Computer science education at universities, ACM SIGCSE Bulletin, 10:1, (41-47), Online publication date: 1-Feb-1978.
- Nutt G (1978). A comparison of PASCAL and FORTRAN as introductory programming languages, ACM SIGPLAN Notices, 13:2, (57-62), Online publication date: 1-Feb-1978.
- Duran J Heuristics for program synthesis using loop invariants Proceedings of the 1978 annual conference - Volume 2, (891-900)
- Pennello T and DeRemer F A forward move algorithm for LR error recovery Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (241-254)
- 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)
- Edwards R (1977). Is Pascal a logical subset of Algol68 or not? Part One, ACM SIGPLAN Notices, 12:6, (184-191), Online publication date: 1-Jun-1977.
- Ratcliff B (1977). ALGOL 68 and structured programming for learner-programmers, ACM SIGPLAN Notices, 12:6, (157-160), Online publication date: 1-Jun-1977.
- Edwards R Is Pascal a logical subset of Algol68 or not? Part One Proceedings of the Strathclyde ALGOL 68 conference, (184-191)
- Ratcliff B ALGOL 68 and structured programming for learner-programmers Proceedings of the Strathclyde ALGOL 68 conference, (157-160)
- Roy P and St-Denis R (1976). Linear flowchart generator for a structured language, ACM SIGPLAN Notices, 11:11, (58-64), Online publication date: 1-Nov-1976.
- Chow T A generalized assertion language Proceedings of the 2nd international conference on Software engineering, (392-399)
- Mize J Structured programming concepts in an introductory COBOL course Proceedings of the sixth SIGCSE technical symposium on Computer science education, (135-142)
- Gerhart S (1976). Proof Theory of Partial Correctness Verification Systems, SIAM Journal on Computing, 5:3, (355-377), Online publication date: 1-Sep-1976.
- Brown R (1976). Toward a better language for structured programming, ACM SIGPLAN Notices, 11:7, (41-54), Online publication date: 1-Jul-1976.
- Mize J (1976). Structured programming concepts in an introductory COBOL course, ACM SIGCSE Bulletin, 8:3, (135-142), Online publication date: 1-Jul-1976.
- Freeman P Software reliability and design Proceedings of the 13th Design Automation Conference, (484-494)
- Keller R A modern beginning programming course Proceedings of the June 7-10, 1976, national computer conference and exposition, (165-170)
- Wasserman A (1976). A top-down view of software engineering, ACM SIGSOFT Software Engineering Notes, 1:1, (8-14), Online publication date: 1-May-1976.
- Feustel E Tagged architecture and the semantics of programming languages Proceedings of the 3rd annual symposium on Computer architecture, (147-150)
- Feustel E (2019). Tagged architecture and the semantics of programming languages, ACM SIGARCH Computer Architecture News, 4:4, (147-150), Online publication date: 17-Jan-1976.
- Berry D (1975). Structured documentation, ACM SIGPLAN Notices, 10:11, (7-12), Online publication date: 1-Nov-1975.
- Dennis J (1975). An example of programming with abstract data types, ACM SIGPLAN Notices, 10:7, (25-29), Online publication date: 1-Jul-1975.
- London R (2019). A view of program verification, ACM SIGPLAN Notices, 10:6, (534-545), 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.
- Mills H (2019). How to write correct programs and know it, ACM SIGPLAN Notices, 10:6, (363-370), 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.
- Abrahams P (1975). "Structured programming" considered harmful, ACM SIGPLAN Notices, 10:4, (13-24), Online publication date: 1-Apr-1975.
- London R A view of program verification Proceedings of the international conference on Reliable software, (534-545)
- Infante R and Montanary U Proving structured programs correct, level by level Proceedings of the international conference on Reliable software, (427-436)
- Mills H How to write correct programs and know it Proceedings of the international conference on Reliable software, (363-370)
- Gerhart S Knowledge about programs Proceedings of the international conference on Reliable software, (88-95)
- Gerhart S (2019). Methods for teaching program verification, ACM SIGCSE Bulletin, 7:1, (172-178), Online publication date: 1-Feb-1975.
- Ripley G (2019). 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.
- Adams J (1975). Teaching declarative programming, ACM SIGCSE Bulletin, 7:1, (83-85), Online publication date: 1-Feb-1975.
- Rose C and Albarran M Modeling and design description of hierarchical hardware/software systems Proceedings of the 12th Design Automation Conference, (421-430)
- 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)
- Adams J Teaching declarative programming Proceedings of the fifth SIGCSE technical symposium on Computer science education, (83-85)
- Yohe J Comments on the topic “programming, and its implication on programming languages” Proceedings of the 1975 annual conference, (219-220)
- Mills H (1975). The new math of computer programming, Communications of the ACM, 18:1, (43-48), Online publication date: 1-Jan-1975.
- 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.
- Lecarme O and Desjardins P (1974). Reply to a paper by A. N. Habermann on the programming language Pascal, ACM SIGPLAN Notices, 9:10, (21-27), 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.
- Bell S and Gilbert E (1974). Learning recursion with syntax diagrams, ACM SIGCSE Bulletin, 6:3, (44-45), 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.
- 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.
- Gries D What should we teach in an introductory programming course? Proceedings of the fourth SIGCSE technical symposium on Computer science education, (81-89)
- Lucena C and Berry D Towards a definition of structured programming Proceedings of the 1974 annual ACM conference - Volume 2, (635-640)
- Sherr D A proposed non-procedural programming language for structured system development Proceedings of the 1974 annual ACM conference - Volume 2, (545-553)
Index Terms
- Systematic Programming: An Introduction
Recommendations
Comparing novice programing environments for use in secondary education: App Inventor for Android vs. Alice
Coding is part of logical thinking and is one of the basic skills which are known as '21st-century skills'. Coding acquisition is necessary as it is used in a wide range of occupations. However, computer programing is difficult to learn and programing ...
A Systematic Review on Teaching Parallel Programming
EATIS '22: Proceedings of the 11th Euro American Conference on Telematics and Information SystemsThis work aimed to perform a systematic review of the literature on teaching parallel programming using low-cost clusters, identifying the main programming languages, hardware platforms and software tools used in teaching-learning this type of ...