The roots of structured programming
暂无分享,去创建一个
[1] Michael Marcotty,et al. A genealogy of control structures , 1975, CACM.
[2] John R. Rice,et al. Letters to the editor: correction's to Stone's compiler procedures , 1968, Communications of the ACM.
[3] S. Rao Kosaraju. Analysis of Structured Programs , 1974, J. Comput. Syst. Sci..
[4] Donald E. Knuth,et al. Structured Programming with go to Statements , 1974, CSUR.
[5] Niklaus Wirth,et al. Algorithms + Data Structures = Programs , 1976 .
[6] William A. Wulf,et al. Reflections on a systems programming language , 1971 .
[7] William A. Wulf,et al. BLISS: a language for systems programming , 1971, CACM.
[8] Eberhard Wegner,et al. Tree-structured programs , 1972, SIGP.
[9] Kenneth Steiglitz,et al. The Expression of Algorithms by Charts , 1972, JACM.
[10] Paul Abrahams. "Structured programming" considered harmful , 1975, SIGP.
[11] Joseph E. Sullivan,et al. Extending Pl/I for Structured Programming , 1976, Comput. Lang..
[12] C. A. R. Hoare,et al. Algorithm 65: find , 1961, Commun. ACM.
[13] B. Ed. Leavenworth. Control Structures in Programming Languages-"The GO TO Controversy"-Debate , 1972 .
[14] Dennis P. Geller,et al. IF-THEN-ELSE considered harmful , 1975, SIGP.
[15] Dennis P. Geller,et al. Structured programming in APL , 1976 .
[16] David Gries,et al. A primer on structured programming using PL/I, PL/C, and PL/CT , 1976 .
[17] Robert J. DuWorks,et al. The arrogant programmer: Dijkstra and Wegner considered harmful , 1972, SGCS.
[18] Richard L. Sites. ALGOL W reference manual , 1972 .
[19] Gary B. Shelly,et al. Introduction to Computer Programming: Structured Cobol , 1977 .
[20] Edsger W. Dijkstra,et al. Programming considered as a human activity , 1979 .
[21] R. A. Snowdon. PEARL: an interactive system for the preparation and validation of structured programs , 1972, SIGP.
[22] B. Shneiderman,et al. Flowchart techniques for structured programming , 1973, SIGP.
[23] Ellis Horowitz. Fortran Can it be Structured-Should it be? , 1975, Computer.
[24] Per Brinch Hansen,et al. Operating System Principles , 1973 .
[25] Peter Wegner,et al. Programming Languages - The First 25 Years , 1976, IEEE Trans. Computers.
[26] Gernot Urschler,et al. Automatic Structuring of Programs , 1975, IBM J. Res. Dev..
[27] Edward C. Haines. AL: a structured assembly language , 1973, SIGP.
[28] Niklaus Wirth,et al. PL360, a Programming Language for the 360 Computers , 1968, JACM.
[29] B. M. Leavenworth,et al. Programming with(out) the GOTO , 1972, SIGP.
[30] Zohar Manna,et al. Fixpoint approach to the theory of computation , 1972, CACM.
[31] Stuart C. Shapiro,et al. A case for while-until , 1974, SIGP.
[32] Loren P. Meissner,et al. On extending Fortran control structures to facilitate structured programming , 1975, SIGP.
[33] Martin E. Hopkins,et al. A case for the GOTO , 1972, ACM '72.
[34] Harlan D. Mills,et al. Mathematical foundations of structured programming , 1972 .
[35] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[36] Niklaus Wirth,et al. Program development by step-wise refinement , 1971 .
[37] David Gries,et al. On Structured Programming , 1978 .
[38] F. T. Baker. Structured programming in a production programming environment , 1975 .
[39] P. Naur. Proof of algorithms by general snapshots , 1966 .
[40] Edsger W. Dijkstra,et al. Correctness concerns and, among other things, why they are resented , 1975, Reliable Software.
[41] Peter Naur,et al. Programming by action clusters , 1969 .
[42] Karl N. Levitt,et al. Greatest Common Divisor of n Integers and Multipliers (Certification of Algorithm 386) , 1973, Commun. ACM.
[43] Edsger W. Dijkstra,et al. Structured programming , 1972, A.P.I.C. Studies in data processing.
[44] C. A. R. Hoare,et al. Proof of a structured program: 'the sieve of Eratosthenes' , 1972, Comput. J..
[45] Elliot B. Koffman,et al. Teaching problem solving and structured programming in FORTRAN , 1977, SIGCSE '77.
[46] William Slater,et al. Structured programming considered harmful , 1978, SIGP.
[47] Edsger W. Dijkstra,et al. A constructive approach to the problem of program correctness , 1968 .
[48] Brian W. Kernighan,et al. Programming Style: Examples and Counterexamples , 1974, CSUR.
[49] David Gries,et al. What should we teach in an introductory programming course? , 1974, SIGCSE '74.
[50] Kenneth L. Bowles. Microcomputer Problem Solving Using Pascal , 1977 .
[51] Niklaus Wirth,et al. On the Composition of Well-Structured Programs , 1974, CSUR.
[52] Johannes J. Martin. The 'natural' set of basic control structures , 1973, SIGP.
[53] F. T. Baker,et al. Chief Programmer Team Management of Production Programming , 1972, IBM Syst. J..
[54] N. Falconer. Structured Programming , 1973, Nature.
[55] C. A. R. Hoare,et al. A contribution to the development of ALGOL , 1966, CACM.
[56] Daniel D. McCracken. A Simplified Guide to Structured COBOL Programming , 1976 .
[57] Brian W. Kernighan,et al. Elements of Programming Style , 1974 .
[58] William A. Wulf,et al. Programming without the Goto , 1971, IFIP Congress.
[59] A. L. Lim,et al. Towards Structured Programs in APL , 1975, Comput. J..
[60] Gerald M. Weinberg,et al. Psychology of computer programming , 1971 .
[61] William A. Wulf,et al. A case against the GOTO , 1972, ACM '72.
[62] Peter Naur. Proof of Algorithms by General Snapshots , 1966 .
[63] Edsger W. Dijkstra,et al. Letters to the editor: go to statement considered harmful , 1968, CACM.
[64] Andreas S. Philippakis,et al. Structured Cobol , 1977 .
[65] Tadao Kasami,et al. On the capabilities of while, repeat, and exit statements , 1973, Commun. ACM.
[66] Gregor von Bochmann,et al. Multiple exits from a loop without the GOTO , 1973, Commun. ACM.
[67] Robert W. Floyd. Toward Interactive Design of Correct Programs , 1971, IFIP Congress.
[68] Edsger W. Dijkstra,et al. Notes on structured programming , 1970 .
[69] C. A. R. Hoare,et al. An Axiomatic Definition of the Programming Language PASCAL , 1973, Acta Informatica.
[70] Edsger W. Dijkstra,et al. The humble programmer , 1972, CACM.
[71] Bernhard Fischer,et al. Structured Programming in PL/I and PL/C , 1976 .
[72] Carma L. McClure,et al. Structured programming in COBOL , 1975, SIGP.
[73] Lewis M. Norton,et al. Experiment with an automatic theorem-prover having partial ordering inference rules , 1973, CACM.
[74] Charles T. Zahn,et al. A control statement for natural top-down structured programming , 1974, Symposium on Programming.
[75] Corrado Böhm,et al. Flow diagrams, turing machines and languages with only two formation rules , 1966, CACM.
[76] Richard B. Kieburtz. Structured programming and problem solving with ALGOL W , 1975 .
[77] John R. White,et al. A Structured Language for Translator Construction , 1975, Comput. J..
[78] Robert W. Floyd,et al. Assigning meaning to programs , 1967 .
[79] Harlan D. Mills,et al. How to write correct programs and know it , 1975, Reliable Software.
[80] Peter J. Denning. Is it not time to define "structured programming"? , 1974, OPSR.
[81] Edsger W. Dijkstra. Correctness concerns and, among other things, why they are resented , 1975 .
[82] Zohar Manna,et al. The Translation of 'Go To' Programs to 'While' Programs , 1971, IFIP Congress.