Skip to main content
SpringerLink
Log in

Programming Languages

  • Chapter
Advances in Information Systems Science

Abstract

This chapter is intended as an introduction to programming languages. More detailed discussions will be given elsewhere in this series, and we shall limit ourselves here to a general discussion of the present status of the development of programming languages and of their theoretical foundations.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Caracciolo di Forino, “The Evolution of Programming Languages,” Atti Accademia dei Lincei, Roma (1968)

    Google Scholar 

  2. IFIP-ICC, “Vocabulary of Terms Used in Information Processing,” North-Holland Publishing Co., Amsterdam (1966)

    Google Scholar 

  3. N. Rescher, “The Logic of Command,” Routledge and Kegan Ltd., London (1966)

    Google Scholar 

  4. N. D. Belnap, An Analysis of Questions: Preliminary Report TM-1287, Report of the System Development Corporation, Santa Monica, Calif. (1963)

    Google Scholar 

  5. F. De Saussure, “Cours de Linguistique Generale,” Payot, Paris (1962)

    Google Scholar 

  6. C. Morris, “Signs, Languages, and Behavior,” G. Braziller, New York (1955)

    Google Scholar 

  7. J. Vendryes, “Le Langage, Introduction Linguistiques à l’Historie,” A. Michel, Paris (1950)

    Google Scholar 

  8. J. B. Rosser, “Logic for Mathematicians,” McGraw-Hill Book Co., New York (1953)

    Google Scholar 

  9. W. V. O. Quine, “Mathematical Logic,” Harvard University Press, Cambridge (1955)

    Google Scholar 

  10. A. Caracciolo di Forino, Linguistic Problems in Programming Theory, in “Proceedings of the IFIP Congress 65” (W. A. Kalenich, ed.), Vol. 1, pp. 223–228, Spartan Books, Washington, D. C. (1965)

    Google Scholar 

  11. R. M. Martin, “Towards a Systematic Pragmatics,” North-Holland Publishing Co., Amsterdam (1959)

    Google Scholar 

  12. R. Carnap, “The Logical Syntax of Language,” Harcourt, Brace and Co., New York (1937)

    Google Scholar 

  13. H. Zemanek, Semiotics and Programming Languages, in: Proceedings of the ACM Conference on Programming Languages and Pragmatics, San Dimas, California 1965, Comm. ACM 9 (3), 139–143 (1966)

    Google Scholar 

  14. Proceedings of the ACM Conference on Programming Languages and Pragmatics, San Dimas, California 1965, Comm. ACM 9 (3) (1966)

    Google Scholar 

  15. S. Gorn, Mechanical Pragmatics, a Time Motion Study of a Miniature Mechanical Linguistic System, Comm. ACM 5, 576–589 (1962)

    Google Scholar 

  16. S. Gorn, The Computer and Information Sciences-A New Basic Discipline, Rev. Soc. for Ind. Appl. Math. 5, 150–155 (1963)

    Google Scholar 

  17. A. van Wijngaarden, Recursive Definition of Syntax and Semantics, in “Formal Language Description Languages for Computer Programms” (T. B. Steel, ed.), pp. 13–24, North-Holland Publishing Co., Amsterdam (1966)

    Google Scholar 

  18. J. W. De Bakker, “Formal Definition of Programming Languages,” Mathematisch Centrum, Amsterdam (1967)

    Google Scholar 

  19. N. Chomsky, Formal Properties of Grammars, in “Handbook of Mathematical Psychology,” Vol. 2, pp. 323–418, John Wiley and Sons, New York (1963)

    Google Scholar 

  20. Y. Bar-Hillel, M. Perles, and E. Shamir, On Formal Properties of Simple Phrase-Structure Grammars, Z. Phonetik, Sprachwissenschaft, und Kommunikationsforschung 14, 143–172 (1961)

    Google Scholar 

  21. S. Ginsburg, “The Mathematical Theory of Context Free Languages,” McGraw-Hill, Book Co., New York (1966)

    Google Scholar 

  22. R. W. Floyd, The Syntax of Programming Languages, IEEE Trans. on Electronic Computers EC-13 (4), 346–353 (1964)

    Google Scholar 

  23. N. Chomsky, Three Models for the Description of Language, IRE Trans. on Information Theory IT-3, 113–124 (1956)

    Google Scholar 

  24. J. W. Backus, The Syntax and Semantics of the Proposed International Algebraic Language of the Zurich ACM-GAMM Conference, in “ICIP Proceedings, Paris, 1959,” pp. 125–132, London, Butterworth’s and Co. (1960)

    Google Scholar 

  25. N. Chomsky and M. P. Sehützenberger, The Algebraic Theory of Context-Free Languages, in “Computer Programming and Formal Systems” (P. Braffort and D. Hirschberg, eds.), pp. 118–161, North-Holland Publishing Co., Amsterdam (1963)

    Google Scholar 

  26. R. W. Floyd, Syntactic Analysis and Operator Precedence, J. ACM 10 (3), 316–333 (1963)

    Google Scholar 

  27. R. W. Floyd, Bounded-Context Syntactic Analysis, Comm. ACM 7 (2), 62–67 (1964)

    Google Scholar 

  28. T. V. Griffith and S. R. Petrick, On the Relative Efficiences of Context-Free Grammars Recognizers, Comm. ACM 8 (5), 289–300 (1965)

    Google Scholar 

  29. A. Caracciolo di Forino, Some Remarks on the Syntax of Symbolic Programming Languages, Comm. ACM 8 (6), 456–460 (1963)

    Google Scholar 

  30. P. Gilbert, On the Syntax of Algorithmic Languages, J. ACM 13, 99–107 (1966)

    Google Scholar 

  31. E. T. Irons, Structural Connections in Formal Languages, Comm. ACM 7 (2), 67–72 (1964)

    Google Scholar 

  32. A. Caracciolo di Forino, On the Concept of Formal Linguistic Systems, in “Formal Language Description Languages for Computer Programming” (T. B. Steel, ed.), North-Holland Publishing Co., Amsterdam (1966)

    Google Scholar 

  33. A. van Wijngaarden (ed.), Draft Report on the Algorithmic Language algol-68 (Supplement to Algol Bulletin 26), Mathematisch Centrum, Amsterdam (1966)

    Google Scholar 

  34. P. J. Landin, A Formal Description of algol-60, in “Formal Language Description Languages for Computer Programming” (T. B. Steel, ed.), North-Holland Publishing Co., Amsterdam (1966)

    Google Scholar 

  35. T. B. Steel (ed.), “Formal Language Description Languages for Computer Programming,” North-Holland Publishing Co., Amsterdam (1966)

    Google Scholar 

  36. T. B. Steel, A. Formalization of Semantics for Programming Language Description, in “Formal Language Description Languages for Computer Programming” (T. B. Steel, ed.), North-Holland Publishing Co., Amsterdam (1966)

    Google Scholar 

  37. C. Elgot, Machine Species and their Computation Languages, in “Formal Language Description Languages for Computer Programming” (T. B. Steel, ed.), North-Holland Publishing Co., Amsterdam (1966)

    Google Scholar 

  38. J. McCarthy, A Formal Description of a Subset of algol, in “Formal Language Description Languages for Computer Programming” (T. B. Steel, ed.), North-Holland Publishing Co., Amsterdam (1966)

    Google Scholar 

  39. C. Strachey, Towards a Formal Semantics, in “Formal Language Description Languages for Computer Programming” (T. B. Steel ed.), North-Holland Publishing Co., Amsterdam (1966)

    Google Scholar 

  40. C. Böhm, The cuch as a Formal and Description Language, in “Formal Language Description Languages for Computer Programming” (T. B. Steel, ed.), North-Holland Publishing Co., Amsterdam (1966)

    Google Scholar 

  41. A. Church, The Calculi of Lambda-Conversion, in “Annals of Mathematics Studies,” No. 7, Princeton University Press, Princeton (1941)

    Google Scholar 

  42. M. Nivat and N. Nolin, Contribution to the Definition of algol, in “Formal Language Description Languages for Computer Programming” (T. B. Steel, ed.), North-Holland Publishing Co., Amsterdam (1966)

    Google Scholar 

  43. N. Wirth and H. Weber, euler, A Generalization of algol and its Formal Definition, Comm. ACM 9, 13–23, 88-89 (1966)

    Google Scholar 

  44. J. Feldman, A Formal Semantics for Computer Languages and its Applications in a Compiler-Compiler, Comm. ACM 9, 3–9 (1966)

    Google Scholar 

  45. R. McNaughton, The Theory of Automata-A Survey, in “Advances in Computers” (F. L. Alt, ed.), Vol. 2, pp. 379–421, Academic Press, New York (1961)

    Google Scholar 

  46. A. W. Burks, Programming and the Theory of Automata, in “Computer Programming and Formal Systems” (P. Braffort and D. Hirshberg, eds.), North-Holland Publishing Co., Amsterdam, (1953)

    Google Scholar 

  47. C. Elgot and A. Robinson, Random-Access, Stored-Program Machine, an Approach to Programming Languages, J. ACM 11 (4), 365–399 (1964)

    Google Scholar 

  48. IBM Vienna Group-Formal Definition of pl/1-IBM Technical Report TR 25.071, IBM Laboratory, Vienna (1966)

    Google Scholar 

  49. K. Alter, Syntactical Description of pl/1 Text and its Translation into Abstract Normal Form, TR 25–074, IBM Laboratory, Vienna (1967)

    Google Scholar 

  50. S. Ginsburg, “An Introduction to Mathematical Machine Theory,” Addison-Wesley Publishing Co., Reading, Mass. (1962)

    Google Scholar 

  51. R. Carnap, “The Logical Syntax of Language,” Harcourt, Brace and Co., New York (1937)

    Google Scholar 

  52. A. Caracciolo di Forino, Linguaggi Programmativi Speciali, Calcolo 2 (Suppl. 2), 69–89 (1965)

    Google Scholar 

  53. H. P. Schlaeppi, A Formal Language for Describing Machine Logic, Timing and Sequencing, IEEE Trans. EC-13, 439–448 (1964)

    Google Scholar 

  54. Y. Chu, An ALGOL-like Computer Design Language, Comm. ACM 8 (10), 607–615 (1965)

    Google Scholar 

  55. J. A. Wilber, A Language for Describing Digital Computers, M. S. Thesis, Dept. of Computer Sciences, University of Illinois, Urbana (1966)

    Google Scholar 

  56. A. D. Falkhoff, K. E. Iverson, and E. H. Sussenguth, A Formal Description of System 360, IBM Systems Journal 3 (3), 198–263 (1964)

    Google Scholar 

  57. K. E. Iverson, “A Programming Language,” John Wiley and Sons, New York (1962)

    Google Scholar 

  58. P. A. M. Dirac, “The Principles of Quantum Mechanics,” Oxford Press (1947)

    Google Scholar 

  59. A. Caracciolo di Forino, Some Theoretical Consideration about Simulation Languages, Calcolo 3 (Suppl. 1), 95–108 (1966)

    Google Scholar 

  60. J. Martin, “Programming Real-Time Computer Systems,” Prentice-Hall, Englewood Cliffs, m. J. (1965)

    Google Scholar 

  61. D. Mcllroy, Macroextensions of Compiler Languages, Comm. ACM 9, 214–220 (1960)

    Google Scholar 

  62. C. Strachey, A General Purpose Macrogenerator, Comput. J. 8, 225 (1965)

    Google Scholar 

  63. D. E. Ferguson, Evolution of the Meta-Assembly Program, Comm. ACM 9 (3), 190–194 (1966)

    Google Scholar 

  64. I. Flores, “Computer Programming,“ Prentice-Hall, Englewood Cliffs, N. J. (1966)

    Google Scholar 

  65. A. Hassitt, “Computer Programming and Computer Systems,” Academic Press, New York (1967)

    Google Scholar 

  66. J. W. Backus, Fortran Programmers’ Reference Manual, Form 32–7026-1, IBM Corp. (1957)

    Google Scholar 

  67. J. W. Backus, Automatic Programming: Properties and Performance of Fortran Systems I and II, in “Mechanisation of Thought Processes, Proceedings of a Symposium held at the National Physical Laboratory, November 1958,” H. M. Stationery Office, London (1959)

    Google Scholar 

  68. IBM 7090/7094 Programming System-Fortran IV Language-Form C28–6274-3, IBM Corporation (1964)

    Google Scholar 

  69. P. Naur (ed.), Revised Report on the Algorithmic Language algol 60, Comm. ACM 6 (1), 1–23 (1963)

    Google Scholar 

  70. H. Rutishauser, “Description of algol-60,” Springer Verlag, Berlin (1967)

    Google Scholar 

  71. E. W. Dijkstra, Recursive Programming, Num. Math. 2, 312–318 (1960)

    Google Scholar 

  72. D. E. Knuth, The Remaining Trouble Spots in algol-60, Comm. ACM 10, 611–618 (1967)

    Google Scholar 

  73. J. Minker and J. Sable, File Organization and Data Management, in “Annual Review of Information Science and Technology” (A. Cuarda, ed.), Vol. 2, pp. 123–160, Interscience Publishers, New York (1967)

    Google Scholar 

  74. Codasyl Language Structure Group. An Information Algebra, Comm. ACM 5 (4), 190-204 (1962)

    Google Scholar 

  75. ”Cobol-Common Business Oriented Languages for Programming Electronic Digital Computers,” Department of Defense, Washington, D. C. (1961)

    Google Scholar 

  76. J. E. Sammet, Survey of Formula Manipulation, Comm. ACM 9 (8) (1966)

    Google Scholar 

  77. Proceedings of the ACM Symposium on Symbolic and Algebraic Manipulation, Comm. ACM 9 (8) (1966)

    Google Scholar 

  78. D. G. Bodrow (ed.), “Symbol Manipulation Languages and Techniques,” (Proc. IFIP Working Conference, Pisa, 1966), North-Holland Publishing Co., Amsterdam (1968)

    Google Scholar 

  79. J. E. Sammet, An Annotated Descriptor Based Bibliography on the Use of Computers for Non-Numerical Mathematics, Computing Review 7 (4), B1–B31 (July 1966)

    Google Scholar 

  80. J. E. Sammet and E. R. Bond, Introduction to formac, IEEE Trans, on Electronic Computers EC-13 (4), 386–394 (Aug. 1964)

    Google Scholar 

  81. E. Bond, Implementation of formac, IBM Technical Report TR 00.1620 (1966)

    Google Scholar 

  82. “An Introduction to comit Programming, MIT Research Laboratory of Electronics, Cambridge, Mass. (1961)

    Google Scholar 

  83. ”Comit Programmers’ Reference Manual,” MIT Research Laboratory of Electronics, Cambridge, Mass. (1961)

    Google Scholar 

  84. D. J. Farber, R. Griswold, and R. P. Polonsky, Snobol, a String Manipulation Language, J. ACM 11, 21–30 (1964)

    Google Scholar 

  85. D. J. Farber, R. Griswold, and R. P. Polonsky, Snobol 3, Bell System Tech. J. 65, 895–908 (1966)

    Google Scholar 

  86. A. Caracciolo di Forino, L. Spanedda, N. Wolkenstein, Panon-1B, A Programming Language for Symbol Manipulation, Calcolo 3 (2) 245–264 (1966)

    Google Scholar 

  87. K. Cohen, J. H. Wegstein, Axle, An Axiomatic Language for String Transformation, Comm. ACM 8, 657–661 (1965)

    Google Scholar 

  88. A. A. Markov, Teoriya Algorifmov, Trudy Mat. Inst. Steklov 38, 176–189 (1951). [English translation: “Theory of Algorithms,” “American Mathematical Society Translations,” Series 2, Vol. 15, pp. 1–14 (1958).]

    Google Scholar 

  89. A. A. Markov, “Teoriya Algorifmov,” Izdatel’stvo Akademii Nauk SSSR, Moskva-Leningrad, (1954). [English translation: “Theory of Algorithms,” “Israel Program for Scientific Translations,” Jerusalem (1962).]

    Google Scholar 

  90. R. W. Floyd, A Descriptive Language for Symbol Manipulation, J. ACM 8 (4), 579–584 (1961)

    Google Scholar 

  91. A. Newell and F. Tonge, An Introduction to Information Processing Language V, Comm. ACM 3 (4), 205–210 (1960)

    Google Scholar 

  92. A. Newell, C. Baker, E. Fergenbaum, B. Green, H. Kelly, G. Mealy, N. Saber, F. Tonge, A. Wolf, and T. van Wormer (Eds.), ”Ipl-V Manual,” Prentice-Hall, Englewood Cliffs, N. J. (1964)

    Google Scholar 

  93. J. McCarthy, P. Abrahams, D. J. Edwards, T. Hart, M. Levin, “The lisp 1.5 Programmers’ Manual,” MIT Computation Center, Cambridge, Mass. (1962)

    Google Scholar 

  94. J. McCarthy, Recursive Functions of Symbolic Expressions and their Computation by Machine—Part I, Comm. ACM 3 (4) 184–195 (1960)

    Google Scholar 

  95. R. A. Brooker and D. Morris, A General Translation Program for Phrase-Structure Languages, J. ACM 9 (1), 1–10 (1962)

    Google Scholar 

  96. J. V. Garwick, Gargoyle, A Language for Compiler Writing, Comm. ACM 7 (1), 16–20 (1964)

    Google Scholar 

  97. J. C. Reynolds, An Introduction to the Cogent Programming System, in “Proceedings of the ACM 20th National Conference,” ACM Publication P-65, Association for Computing Machinery, New York (1965)

    Google Scholar 

  98. Lisp-2-Document Series TM 2710, System Development Corp. Santa Monica, Calif. (1966)

    Google Scholar 

  99. A. J. Perlis and R. Iturriaga, An Extension to algol for Manipulating Formulae, Comm. ACM 7 (2), 127–130 (1964)

    Google Scholar 

  100. O. J. Dahl, B. Myhrhaug, and K. Nygaard, “Simula-67, Common Base Language,” Publ. No. S-2, Norwegian Computing Center, Oslo (1968)

    Google Scholar 

  101. Pl/1: Language Specifications, IBM Corporation C28-6571-4 (1967)

    Google Scholar 

  102. H. W. Lawson, Pl/1 List Processing, Comm. ACM 10 (6), 358–367 (1967)

    Google Scholar 

  103. E. W. Dijkstra, Solution of a Problem in Concurrent Programming Control, Comm. ACM 8 (9), 569 (1965)

    Google Scholar 

  104. J. M. Biggs, R. D. Logcher, “Stress: A Problem-Oriented Language for Structural Engineering (User’s Manual),” The MIT Press, Cambridge, Mass. (1964)

    Google Scholar 

  105. J. J. Childs, “Principles of Numerical Control,” Industrial Press, New York (1965)

    Google Scholar 

  106. R. A. Thomas, The Language of Tapes, American Machinist 1964, 73–80

    Google Scholar 

  107. Autoprompt-IBM Math. & Application Department, Library Services Department, IBM Data Processing Division, New York (1961)

    Google Scholar 

  108. S. A. Coons, Surfaces for Computer-Aided Design of Space Forms, Project MAC, MAC-TR-41, MIT Electronic Systems Laboratory, Cambridge, Mass. (1967)

    Google Scholar 

  109. Exapt-2 Part Programmer Reference Manual, Exapt Verein, Aachen (1967)

    Google Scholar 

  110. ”Apt-Concept and Application,” III, Res. Inst. Chicago, Chicago, I11. (1961)

    Google Scholar 

  111. S. A. Brown, C. E. Drayton, and B. Mittman, A Description of the apt Language, Comm. ACM 6, 649–658 (1963)

    Google Scholar 

  112. A. von Dam, Bibliography on Computer Graphics, ACM SIGRAPHICS Newsletter 1(1967)

    Google Scholar 

  113. F. Gruenberg (ed.), “Computer Graphics: Utility-Production-Art,” Thompson Book Co., Washington D. C. (1967)

    Google Scholar 

  114. R. Narashiman, Syntax-Directed Interpretation of Classes of Pictures, Comm. ACM 9 (3), 166–173 (1966)

    Google Scholar 

  115. R. A. Kirsch, Computer Interpretation of English Test and Picture Patterns, Trans. IEEE EC-13, 151–179 (1964)

    Google Scholar 

  116. J. N. Buxton (ed.), “Simulation Languages” (Proc. IFIP Working Conference, Oslo, 1966), North-Holland Publishing Co., Amsterdam, (1968)

    Google Scholar 

  117. L. Petrone, On a Simulation Language Completely Defined into the Programming Language pl/1, in “Symbol Manipulation Languages” (Proc. IFIP Working Conference, Pisa, 1966) (D. G. Bobrow, ed.), North-Holland Publishing Co., Amsterdam, to be published

    Google Scholar 

  118. J. Dahl, “Discrete Event Simulation Languages” (Lectures NATO Summer School, Villard-de-Lans 1966), Norwegian Computing Center, Oslo (1967)

    Google Scholar 

  119. D. Teichroew and F. J. Lubin, Computer Simulation. Discussion of the Technique and Comparison of Languages, Comm. ACM 9, 723–741 (1966)

    Google Scholar 

  120. “General Purpose System Simulation III—Introduction,” IBM (1965)

    Google Scholar 

  121. J. N. Buxton and J. G. Laski, Control and Simulation Language, Comp. J. 5 (3), 194-199

    Google Scholar 

  122. D. E. Knuth and J. L. McNeley, Sol: A Symbolic Language for General Purpose System Simulation, Trans. IEEE EC–18 (1964)

    Google Scholar 

  123. H. M. Markowitc, B. Hanser, and H. W. Karr, “Simscript, a Simulation Programming Language,” Prentice-Hall, Englewood Cliffs, N. J. (1963)

    Google Scholar 

  124. O. J. Dahl, K. Nygaard, Simula: An ALGOL-Based Simulation Language, Comm. ACM 9, 671–678 (1966)

    Google Scholar 

  125. G. Molnar, Simulation Language sl/1, Calcolo (Suppl. 1) 3, 71–90 (1966)

    Google Scholar 

  126. G. Molnar, Self-Optimizing Simulation, in “Simulation Languages” (Proc. IFIP Working Conference, Oslo, 1966) (J. Buxton, ed.), North-Holland Publishing Co., Amsterdam, to be published

    Google Scholar 

  127. E. L. Jacks, J. T. Olsztin, T. J. Theodoroff, B. Hargreaves, and C. R. Lewis, GMR diana Programming Manual III-Report GMR 346, General Motors Corp. (1961)

    Google Scholar 

  128. R. N. Linebarger and R. D. Brennan, A Survey of Digital Simulation: Digital Simulation for Control System Design, Inst. Cont. Syst. 38 (10), 147–152 (1965)

    Google Scholar 

  129. R. N. Linebarger and R. D. Brennan, A Survey of Digital Simulation: Digital Analog Simulator Programs, Simulation 3 (6), 22–36 (1964)

    Google Scholar 

  130. R. D. Brennan, Continous System Modeling Programs-State of the Art and Prospectus for Development, in “Simulation Languages” (Proc. IFIP working Conference, Oslo, 1966) (J. Buxton, ed.), North-Holland Publishing Co., Amsterdam, to be published

    Google Scholar 

  131. R. T. Harnett and F. J. Sansom, Midas Programming Guide, Rept. SEG-TDR 64-1, Analog Computation Division, Air Force System Command, Wright-Patterson Air Force Base, Ohio (1964)

    Google Scholar 

  132. R. T. Harnett, F. J. Sansom, and L. M. Warsawski, Midas, An Approach to Digital Simulation, Simulation 3 (3) (1963)

    Google Scholar 

  133. F. J. Sansom and H. E. Peterson, Mimic, Digital Simulator Program. SESCA Internal Memo 65–12, Wright-Patterson Air Force Base, Ohio (May 1965)

    Google Scholar 

  134. W. M. Syn and R. M. Linebarger, Dsl/90-A Digital Simulation Program for Continuous System Modelling, in “Proceedings of the AFIPS 1966 Sprint Joint Computer Conference,” Spartan Books, New York (1966)

    Google Scholar 

  135. J. E. Funk, SLASH-ALGOL-Simulated Hybrid Computer, Office of Aerospace Research-SRL-65-1, USAF Academy, Colorado, (1965)

    Google Scholar 

  136. A. K. Wolf, C. S. Chomsky, and B. F. Green, The Baseball Program-An Automatic Question Answerer, Lincoln Laboratory, TR 306 MIT, Mass. (1963)

    Google Scholar 

  137. C. Cuandra (ed.), Annual Review of Information Science and Technology, Inter-science Publishers, New York, Vol. 1 (1966) and Vol. 2 (1967)

    Google Scholar 

  138. G. Salton, “Automatic Information Organization and Retrieval,” McGraw-Hill, New York (1968)

    Google Scholar 

  139. G. Salton and M. E. Lesk, A Document Retrieval System for Man-Machine Interaction, in “Proceedings of the ACM 19th National Conference,” ACM Publication P-64, Association for Computing Machinery, New York (1964)

    Google Scholar 

  140. E. N. Adams, Computers Assisted Instruction, Compt. Autom. 15 (3), 12–13 (1966)

    Google Scholar 

  141. R. E. Grubb, CAI: Technical Aspects in Computers and Education, Workshop Conference—University of California, 1965, McGraw-Hill Book Co., New York (1967)

    Google Scholar 

  142. D. G. Ross and J. E. Rodriguez, Theoretical Foundations for the Computer-Aided Design System, in “Proc. AFIPS 1963 Spring Joint Computer Conference,” Spartan Books, New York (1963)

    Google Scholar 

  143. J. I. Schwartz, On-Line Programming, Comm. ACM 9 (3), 199–202 (1966)

    Google Scholar 

  144. J. McCarthy and J. Painter, Correctness of a Compiler for Arithmetic Expressions, in: Proceedings of the Symposium on the Mathematical Aspects of Computer, Sci Ann. Math. Soc. (1966). [Also Techn. Report CS-38 Computer Sciences Dept. Stanford University (April 1966).]

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centro Studi Calcolatrici Elettroniche del C.N.R., presso l’Università di Pisa, Pisa, Italy

    Alfonso Caracciolo di Forino

Authors
  1. Alfonso Caracciolo di Forino
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Engineering, University of Florida, Gainesville, Florida, USA

    Julius T. Tou

Rights and permissions

Reprints and permissions

Copyright information

© 1969 Plenum Press

About this chapter

Cite this chapter

di Forino, A.C. (1969). Programming Languages. In: Tou, J.T. (eds) Advances in Information Systems Science. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-9050-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-9050-7_2

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4615-9052-1

  • Online ISBN: 978-1-4615-9050-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation