Olivier Lecarme
- ACM Curriculum Committee on Computer Education. "Curriculum 68. Recommendations for academic programs in computer science". C. ACM 11, 3 (1968).]]Google Scholar
- Sigplan symposium on languages for systems implementation, Lafayette, Indiana. Proceedings available in Sigplan Notices 6, 9 (1971).]]Google Scholar
- Sigplan-Sigops interface meeting, Savannah, Georgia. Proceedings available in Sigplan Notices 8, 9 (1973).]]Google Scholar
- Adams W. S. "The use of APL in teaching programming". in {Tur73}.]]Google Scholar
- Arsac J. "Quelques remarques et suggestions sur la justification des algorithmes". Revue Française d'Informatique et de Recherche Opérationnelle 5, B-3 (1971).]]Google Scholar
- Arsac J. "Un langage de programmation sans branchements". RIRO 6, B-2 (1972).]]Google Scholar
- Ashcroft E. & Manna Z. "The translation of goto programs to while programs". in {Fre72}.]] Google ScholarDigital Library
- Austing R. H. & Engel G. E. "A computer science course program for small colleges". C. ACM 16, 3 (1973).]] Google ScholarDigital Library
- Baker F. T. "System quality through structured programming". Proceedings of AFIPS 1972 FJCC.]]Google Scholar
- Bauer F. L. "Software engineering". in {Fre72}.]]Google Scholar
- Bazerque G. (ed.) "Programmes d'enseignement de l'informatique". RIRO 3, B-2 (1969).]]Google Scholar
- Bochmann G. V. "Multiple exits from a loop without the goto". C. ACM 16, 7 (1973).]] Google ScholarDigital Library
- Brinch-Hansen P. "Structured multiprogramming". C. ACM 15, 7 (1972).]] Google ScholarDigital Library
- Brooks, N. B. "Tactics, an integrated system for structured programming". Sigplan Notices 8, 6 (1973).]] Google ScholarDigital Library
- Burstall R. M. "Proving properties of programs by structural induction". Computer Journal 12, 1 (1969).]]Google ScholarCross Ref
- Chion J. S. & Cleemann E. F. "Le langage Algol W. Initiation aux algorithmes". Presses Universitaires de Grenoble (1973).]]Google Scholar
- Clark B. L. & Horning J. J. "The system language for project SUE". in {ACM71}.]]Google Scholar
- Clint M. & Hoare C. A. R. "Program proving: jumps and functions". Acta Informatica 1, 3 (1972).]]Google ScholarDigital Library
- Clark B. L. & Horning J. J. "Reflections on a language designed to write an operating system". in {ACM73}.]] Google ScholarDigital Library
- Dahl O. J. & Hoare C. A. R. "Hierarchical program structures". in {DDH72}.]]Google Scholar
- Davidson M. "PL/I programming with PL/C". Houghton Miffen Co., Boston (1973).]] Google ScholarDigital Library
- Dahl, O. J., Dijkstra E. W. & Hoare C. A. R. "Structured programming". Academic Press, London (1972).]] Google ScholarDigital Library
- Desjardins P. "A Pascal compiler for the Xerox Sigma 6". Sigplan Notices 8, 6 (1973).]] Google ScholarDigital Library
- Desjardins P. "Dynamic data structure mapping". Software practice and experience 4, 2 (1974).]]Google Scholar
- Dijkstra E. W. "Goto statement considered harmful". C. ACM 11, 3 (1968).]] Google ScholarDigital Library
- Dijkstra E. W. "A constructive approach to the problem of program correctness". BIT 8, 2 (1968).]]Google ScholarCross Ref
- Dijkstra E. W. "Notes on structured programming". Technische Hogeschool Eindhoven (1969).]]Google Scholar
- Dijkstra E. W. "Structured programming". in Buxton & Randell (ed.): "Software engineering techniques". NATO Science Committee (1970).]]Google Scholar
- Dijkstra E. W. "A short introduction to the art of programming". Department of Mathematics EWD316, Technological University, Eindhoven (1971).]]Google Scholar
- Dijkstra E. W. "Notes on structured programming". in {DDH72}.]]Google Scholar
- Dijkstra E. W. "The humble programmer". C. ACM 15, 10 (1972).]] Google ScholarDigital Library
- Flores I. "Algorithm 76: Sorting procedures". C. ACM 5, 1 (1962).]] Google ScholarDigital Library
- Floyd R. W. "Assigning meanings to programs". in Schwartz J. T. (ed.): "Mathematical aspects of computer science". American Mathematical Society, Providence (1967).]]Google Scholar
- Foley M. & Hoare C. A. R. "Proof of a recursive program: Quicksort". Computer Journal 14, 4 (1971).]]Google ScholarCross Ref
- Freiman C. V. (ed.) "Information Processing 71" (proceedings of {IFIP71}). North-Holland, Amsterdam (1972).]]Google Scholar
- Gries D. "Programming by induction". Information processing letters 1 (1972).]]Google Scholar
- Habermann A. N. "Critical comments on the programming language Pascal" (see {Wir72a}). Department of Computer Science, Carnegie-Mellon University, Pittsburgh (1973).]]Google Scholar
- Harrison M. C. "Data structures and programming". Courant Institute, New York University, New York (1971).]]Google Scholar
- Henderson P. & Snowdon R. "An experiment in structured programming". BIT 12, 1 (1972).]]Google ScholarCross Ref
- Hoare C. A. R. "An axiomatic approach to computer programming". C. ACM 12, 10 (1969).]] Google ScholarDigital Library
- Hoare C. A. R. "Notes on data structuring". in {DDH72}.]]Google Scholar
- Hoare C. A. R. "A note on the for statement". BIT 12, 3 (1972).]]Google ScholarCross Ref
- Hoare C. A. R. "Proof of correctness of data representations". Acta Informatica 1, 4 (1972).]]Google ScholarDigital Library
- Hoare C. A. R. "The quality of software". Software practice and experience 2, 2 (1972).]]Google Scholar
- Hoare C. A. R. "Proof of a structured program: the sieve of Eratosthenes". Computer Journal 15 (1973).]]Google Scholar
- Hoare C. A. R. "Hints on programming language design". SIGACT/SIGPLAN Symposium on principles of programming languages, Boston (1973).]]Google Scholar
- Holt R. C. "Teaching the fatal disease (or) introductory computer programming using PL/I". Sigplan Notices 8, 5 (1973).]] Google ScholarDigital Library
- Hopkins M. E. "A case for the goto". Proceedings of ACM Nat. Conf., Boston (1972).]] Google ScholarDigital Library
- Hoare C. A. R. & Wirth N. "An axiomatic definition of the programming language Pascal". Berichte der Fachgruppe Computer-Wissenschaften 6, Eidgenössische Technische Hochschule, Zürich (1972).]]Google Scholar
- IBM Laboratory Vienna. "Formal definition of PL/I". Technical report TR 25.095-25.099 (1969).]]Google Scholar
- International Federation of Information Processing. IFIP Congress 1971, Ljubljana, (Yugoslavia) (1971). Proceedings in {Fre72}.]]Google Scholar
- International Federation of Information Processing. IFIP Technical Committee 2 working conference on programming teaching techniques, Zakopane, Poland (1972). Proceedings in {Tur73}.]]Google Scholar
- Ichbiah J. D., Rissen J. P. & Hééliard J. C. "The two-level approach to data definition and space management in the LIS system implementation language". in {ACM73}.]] Google ScholarDigital Library
- Jensen P. "The grok project: data structures and process communication". in {ACM73}.]] Google ScholarDigital Library
- Knuth D. E. & Floyd R. W. "Notes on avoiding goto statements". Information processing lettere 1, 1 (1971).]]Google Scholar
- Knuth D. E. "The art of computer programming. Vol. I: Fundamental algorithms". Addison-Wesley, Reading (1968).]] Google ScholarDigital Library
- Knuth D. E. "The art of computer programming. Vol. II: Seminumerical algorithms". Addison-Wesley, Reading (1969).]] Google ScholarDigital Library
- Knuth D. E. "The art of computer programing. Vol. III: Sorting and searching". Addison-Wesley, Reading (1973).]] Google ScholarDigital Library
- Knuth D. E. "A review of 'Structured programming'" (see {DDH72}). Computer Science Department CS-371, Stanford University (1973).]] Google ScholarDigital Library
- Landin P. J. "The next 700 programming languages". C. ACM 9, 3 (1966).]] Google ScholarDigital Library
- Laski J. G. "An undergraduate computing course: a critical study of some formative concepts in a real environment". in {Tur73}.]]Google Scholar
- Leavenworth B. M. "Programming with(out) the goto". Proceedings of ACM Nat. Conf., Boston (1972).]] Google ScholarDigital Library
- Lecarme O. "What programming language should we use for teaching programming?" in {Tur73}.]]Google Scholar
- Lecarme O. "An experience in structured programming and transferability". in {ACM73}.]] Google ScholarDigital Library
- Lee J. A. N. "The formal definition of the Basic language". Computer Journal 15, 1 (1972).]]Google ScholarCross Ref
- London R. L. "Correctness of a compiler for a Lisp subset". Sigplan Notices 7, 7 (1972).]] Google ScholarDigital Library
- Lynch D. (SUNY at Buffalo) Answer to Pascal questionnaire distributed by University of Colorado at Boulder (1973).]]Google Scholar
- McKeag R. M. "Programming languages for operating systems". in {ACM73}.]] Google ScholarDigital Library
- McCarthy J. & Painter J. A. "Correctness of a compiler for arithmetic expressions". in Schwartz J. T. (ed.): "Mathematical aspects of computer science" American Mathematical Society, Providence (1967).]]Google Scholar
- Mills H. "Top-down programming in large systems". in Rustin R. (ed.): "Debugging techniques in large systems". Prentice-Hall, Englewood Cliffs (1971).]]Google Scholar
- Miller E. F. "Extensions to Fortran to support structured programming". Sigplan Notices 8, 6 (1973).]] Google ScholarDigital Library
- Manna Z., Ness S. & Vuillemin J. "Inductive methods for proving properties of programs". C. ACM 16, 8 (1973).]] Google ScholarDigital Library
- Nassi I. & Shneiderman B. "Flowchart techniques for structured programming". Sigplan Notices 8, 8 (1973).]] Google ScholarDigital Library
- Naur P. "Proof of algorithms by general snapshots". BIT 6, 4 (1966).]]Google ScholarCross Ref
- Naur P. "Programming by action clusters". BIT 9, 3 (1969).]]Google ScholarCross Ref
- Naur P. "An experiment in program development". BIT 12, 3 (1972).]]Google ScholarCross Ref
- Organick E. I. "Information structure concepts for beginners. An informal approach". in {Tur73}.]]Google Scholar
- Peck J. E. L. "Comparison of languages". in {Tur73}.]]Google Scholar
- Peterson W. W., Kasami T. & Tokura N. "On the capabilities of while, repeat and exit statements". C. ACM 16, 8 (1973).]] Google ScholarDigital Library
- Polyà G. "How to solve it". Doubleday Anchor, New York (1948).]]Google Scholar
- Randell B. "Remark on algorithm 76: sorting procedures" (see {Flo62}). C. ACM 5, 6 (1962).]] Google ScholarDigital Library
- Rice J. R. "The goto statement reconsidered" (see {Dij68a}). C. ACM 11, 8 (1968).]] Google ScholarDigital Library
- Rosin R. F. "Teaching 'about programming"'. in {Tur73}.]]Google Scholar
- Rosin R. F. "Teaching 'about programming"' (revision of {Ros72}). C. ACM 16, 7 (1973).]] Google ScholarDigital Library
- Shaw M. "A system for structured programming". Sigplan Notices 8, 6 (1973).]] Google ScholarDigital Library
- Shaw M. & Wulf W. A. "Global variables considered harmful". Sigplan Notices 8, 2 (1973).]] Google ScholarDigital Library
- Singleton R. C. "An efficient algorithm for sorting with minimal storage". C. ACM 12, 3 (1968).]] Google ScholarDigital Library
- Thibault D. & Mancel P. "Implementation of a Pascal compiler for the CII Iris 80 computer". Sigplan Notices 8, 6 (1973).]] Google ScholarDigital Library
- Turski W. M. (ed.) "Programming teaching techniques" (proceedings of {IFIP72}). North-Holland, Amsterdam (1973).]]Google Scholar
- van der Poel W. L. "The programming language Hilt and its use in teaching". in {Tur73}.]]Google Scholar
- Weinberg G. M. "PL/I programming: a manual of style". McGraw-Hill, New York (1970).]]Google Scholar
- (72)13,23001 Weinberg G. M. "The psychology of computer programming". Van Nostrand Reinhold, New York (1971).]] Google ScholarDigital Library
- Weinberg G. M. "Diverse approaches to teaching programming". in {Tur73}.]]Google Scholar
- Welsh J. & Quinn C. "A Pascal compiler for the ICL 1900 series computer". Software practice and experience 2, 1 (1972).]]Google Scholar
- Wulf W. A., Geschke C., Wile D. & Apperson J. "Reflections on a systems programming language". in {ACM71}.]] Google ScholarDigital Library
- Wirth N. & Jensen K. "A user manual for Pascal". Eidgenöössische Technische Hochschule, Zürich (1973).]]Google Scholar
- Wirth N. "The programming language Pascal". Berichte der Fachgruppe Computer-Wissenschaften 1, Eidgenössische Technische Hochschule, Zürich (1970).]]Google Scholar
- Wirth N. "Program development by stepwise refinement". C. ACM 14, 4 (1971).]] Google ScholarDigital Library
- Wirth N. "The programming language Pascal". Acta Informatica 1, 1 (1971).]]Google ScholarDigital Library
- "The design of a Pascal compiler". Software practice and experience 1, 4 (1971).]]Google Scholar
- Wirth N. "The programming language Pascal (revised report)". Berichte der Fachgruppe Computer-Wissenschaften 5, Eidgenössische Technische Hochschule, Zürich (1972).]]Google Scholar
- Wirth N. "On Pascal, code generation and the CDC 6000 computer". Computer Science Department CS 257, Stanford University (1972).]] Google ScholarDigital Library
- Wirth N. "Systematisches Programieren". Teubner Verlag, Stuttgart (1972).]]Google Scholar
- Wirth N. "Systematic programing: an introduction". Prentice-Hall, Englewood Cliffs (1973).]] Google ScholarDigital Library
- Weinberg G. M., Marcus R. & Yasukawa N. "Structured programing in PL/C. An abecedarian". John Wiley & Sons, New York (1973).]]Google Scholar
- Woodall A. D. "An internal sorting procedure using a two-way merge". Computer Journal 13, 1 (1970).]]Google Scholar
- Woodger M. "On semantic levels in programming". in {Fre72}.]]Google Scholar
- Wortman D. B. "Student PL. A PL/I dialect designed for teaching". Proceedings of Canadian Computer Conference, Montreal (1972).]]Google Scholar
- Wulf W. A., Russell D. B. & Habermann A. N. "Bliss: a language for systems programming". C. ACM 14, 12 (1971).]] Google ScholarDigital Library
- Wulf W. A. "Programming without the goto". in {Fre72}.]]Google Scholar
- Wulf W. A. "A case against the goto". Proceedings of ACM Nat. Conf., Boston (1972).]] Google ScholarDigital Library
Recommendations
Teaching computer programming with structured programming language and flowcharts
OSDOC '11: Proceedings of the 2011 Workshop on Open Source and Design of CommunicationThis research aims to prove that an environment that establishes a direct connection between flowcharts and the equivalent structured programming language improves the results of the students in the first year of computer programming.
The first approach ...
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 ...
Comments