The paradigms of programming

Today I want to talk about the paradigms of programming, how they affect our success as designers of computer programs, how they should be taught, and how they should be embodied in our programming languages.

[1]  E H Shorthffe,et al.  Computer-based medical consultations mycin , 1976 .

[2]  Nils J. Nilsson,et al.  Problem-solving methods in artificial intelligence , 1971, McGraw-Hill computer science series.

[3]  John F. Wakerly,et al.  The programming language PASCAL , 1979, Microprocessors and microsystems.

[4]  E. L. Lawler,et al.  Branch-and-Bound Methods: A Survey , 1966, Oper. Res..

[5]  David R. Barstow,et al.  On Program Synthesis Knowledge , 1978, Artif. Intell..

[6]  Robert W. Floyd,et al.  Nondeterministic Algorithms , 1967, JACM.

[7]  Howard E. Shrobe,et al.  Initial Report on a Lisp Programmer's Apprentice , 1978, IEEE Transactions on Software Engineering.

[8]  Richard J. Waldinger,et al.  QA4: A Procedural Calculus for Intuitive Reasoning. , 1972 .

[9]  H. Gelernter,et al.  Realization of a geometry theorem proving machine , 1995, IFIP Congress.

[10]  Robert M Balzer.  Imprecise Program Specification , 1975 .

[11]  T. Kuhn,et al.  The Structure of Scientific Revolutions. , 1964 .

[12]  Marvin Minsky,et al.  Form and Content in Computer Science (1970 ACM turing lecture) , 1970, JACM.

[13]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[14]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[15]  田中 穂積.  E.H.Shortliffe 著, "Computer-Based Medical Consultations : MYCIN", American Elsevier, A4判, 264ぺージ, \10,080, 1976 , 1978 .

[16]  Randall Davis,et al.  Interactive Transfer of Expertise: Acquisition of New Inference Rules , 1993, IJCAI.

[17]  Gerald Jay Sussman,et al.  Micro-Planner Reference Manual , 1970 .

[18]  Robert W. Floyd,et al.  The Syntax of Programming Languages-A Survey , 1964, IEEE Trans. Electron. Comput..

[19]  Alfred V. Aho,et al.  The Theory of Parsing, Translation, and Compiling , 1972 .

[20]  Niklaus Wirth,et al.  Systematic Programming: An Introduction , 1974 .

[21]  Carl Hewitt,et al.  Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .

[22]  W. W. Bledsoe,et al.  Review of "Problem-Solving Methods in Artificial Intelligence by Nils J. Nilsson", McGraw-Hill Pub. , 1971, SGAR.

[23]  Edsger W. Dijkstra,et al.  Notes on structured programming , 1970 .

[24]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[25]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[26]  Melvin E. Conway,et al.  Design of a separable transition-diagram compiler , 1963, CACM.

[27]  Marvin Minsky,et al.  Form and Content in Computer Science , 1972 .