J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur , A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 2 , pp. 106–136; also Communications of the Association for Computing Machinery, vol. 3 , pp. 299–314 [Book Review]

Journal of Symbolic Logic 37 (3):622-623 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272793

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL 60. Numerische Mathematik, vol. 4 , pp. 420–453; also ibid., vol. 6 , pp. 1–17; and The computer journal, vol. 5 no. 4 , pp. 349–367. [REVIEW]Karel Čulík - 1972 - Journal of Symbolic Logic 37 (3):623-624.
Review: J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Vauquois, J. H. Wegstein, A. van Wijngaarden, M. Woodger, Report on the Algorithmic Language ALGOL 60. [REVIEW]Karel Culik - 1972 - Journal of Symbolic Logic 37 (3):622-623.
McCarthy John. Recursive functions of symbolic expressions and their computation by machine, part I. Communications of the Association for Computing Machinery, vol. 3 , pp. 184–195. [REVIEW]Martin Davis - 1968 - Journal of Symbolic Logic 33 (1):117-117.
Perlis A. J. and Samelson K.. Appendix two: Preliminary report of ACM-GAMM Committee on an International Algebraic Language. Annual review in automatic programming, Volume I, Papers read at the Working Conference on Automatic Programming of Digital Computers held at Brighton, 1–3 April 1959, edited by Goodman Richard, Pergamon Press, New York-Oxford-London-Paris 1960, pp. 268–290. , pp. 8–22.). [REVIEW]Karel Culik - 1972 - Journal of Symbolic Logic 37 (3):620-622.
Lessons from a restricted Turing test.Stuart M. Shieber - 1994 - Communications of the Association for Computing Machinery 37:70-82.
Patterson G. W.. What is a code? Communications of the Association for Computing Machinery, vol. 3 no. 5 , pp. 315–318.Richard C. Jeffrey - 1965 - Journal of Symbolic Logic 30 (3):385-385.
Burkhart W. H.. Theorem minimization. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 259–263. [REVIEW]Raymond J. Nelson - 1953 - Journal of Symbolic Logic 18 (4):348-348.
Burkhart W. H.. A method for synthesis of two-valued feedback circuits. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 265–272. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):56-56.
Semon Warren L.. Characteristic numbers and their use in the decomposition of switching functions. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 273–280. [REVIEW]Raymond J. Nelson - 1954 - Journal of Symbolic Logic 19 (1):57-57.
Kalin Theodore A.. Formal logic and switching circuits. Proceedings of the Association for Computing Machinery, Jointly sponsored by the Association for Computing Machinery and the Mellon Institute, Pittsburgh, Pa., May 2 and 3, 1952, photo-offset, Richard Rimbach Associates, Pittsburgh 1952, pp. 251–257. [REVIEW]Alonzo Church - 1953 - Journal of Symbolic Logic 18 (4):345-346.
Notes on the Turing test.C. Crawford - 1994 - Communications of the Association for Computing Machinery 37 (June):13-15.
Computer science as empirical inquiry: Symbols and search.Allen Newell & Herbert A. Simon - 1981 - Communications of the Association for Computing Machinery 19:113-26.
Recent Developments in Computing and Philosophy.Anthony F. Beavers - 2011 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 42 (2):385-397.
Jeffrey Richard C.. Arithmetical analysis of digital computing nets. Journal of the Association for Computing Machinery, vol. 3 , pp. 360–375. [REVIEW]E. J. McCluskey - 1960 - Journal of Symbolic Logic 25 (2):190-191.
Karen Ida Boalth Spärck Jones 1935-2007.S. G. Pulman - 2011 - In Proceedings of the British Academy, Volume 166, Biographical Memoirs of Fellows, IX. pp. 273.

Analytics

Added to PP
2016-06-30

Downloads
43 (#361,277)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references