Report on the algorithmic language ALGOL 60

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Report on the algorithmic language ALGOL 60

Full text

Pdf (1.18 MB)

Source

Communications of the ACM archive
Volume 3 , Issue 5 (May 1960) table of contents

Pages: 299 - 314

Year of Publication: 1960

ISSN:0001-0782

Authors

J. W. Backus
F. L. Bauer
J. Green
C. Katz
J. McCarthy
A. J. Perlis
H. Rutishauser
K. Samelson
B. Vauquois
J. H. Wegstein
A. van Wijngaarden
M. Woodger

Editors

Peter Naur

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 15, Downloads (12 Months): 123, Citation Count: 130

Additional Information:

cited by collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/367236.367262 What is a DOI?

CITED BY 130

	Saul Gorn, Mechanical languages: a course specification, Communications of the ACM, v.7 n.4, p.219-222, April 1964
	W. H. Burge, The evaluation, classification and interpretation of expressions, Proceedings of the 1964 19th ACM national conference, p.11.401-11.4022, January 1964
	Niklaus Wirth , Helmut Weber, EULER: a generalization of ALGOL and it formal definition: Part 1, Communications of the ACM, v.9 n.1, p.13-25, Jan. 1966
	Jukka Paakki, Attribute grammar paradigms—a high-level methodology in language implementation, ACM Computing Surveys (CSUR), v.27 n.2, p.196-255, June 1995
	C. A. R. Hoare, Assertions: A Personal Perspective, IEEE Annals of the History of Computing, v.25 n.2, p.14-25, April 2003
	J. M. Boyle , A. A. Grau, An Algorithmic Semantics for ALGOL 60 Identifier Denotation, Journal of the ACM (JACM), v.17 n.2, p.361-382, April 1970
	Peter Wegner, Operational semantics of programming languages, ACM SIGACT News
	Saul Gorn, Specification languages for mechanical languages and their processors a baker's dozen: a set of examples presented to ASA x3.4 subcommittee, Communications of the ACM, v.4 n.12, p.532-542, Dec. 1961
	Saul Rosen, A compiler-building system developed by Brooker and Morris: including a comprehensive discussion of the major features of the system, Communications of the ACM, v.7 n.7, p.403-414, July 1964
	Kenneth E. Iverson, A method of syntax specification, Communications of the ACM, v.7 n.10, p.588-589, Oct. 1964
	Alan J. Perlis, The American side of the development of Algol, ACM SIGPLAN Notices, v.13 n.8, p.3-14, August 1978
	Donald E. Knuth, The remaining trouble spots in ALGOL 60, Communications of the ACM, v.10 n.10, p.611-618, Oct. 1967
	Jerome Feldman , David Gries, Translator writing systems, Communications of the ACM, v.11 n.2, p.77-113, Feb. 1968
	Kristen Nygaard , Ole-Johan Dahl, The development of the SIMULA languages, ACM SIGPLAN Notices, v.13 n.8, p.245-272, August 1978
	G. F. Leonard , J. R. Goodroe, An environment for an operating system, Proceedings of the 1964 19th ACM national conference, p.52.301-52.3011, January 1964
	Peter Wegner, Communications between independently translated blocks, Communications of the ACM, v.5 n.7, p.376-381, July 1962
	Robert S. Ledley , James B. Wilson, Automatic-programming-language translation through syntactical analysis, Communications of the ACM, v.5 n.3, p.145-155, March 1962
	John C. Beatty, Iteration theorems for LL(k) languages (Extended Abstract), Proceedings of the ninth annual ACM symposium on Theory of computing, p.122-131, May 04-04, 1977, Boulder, Colorado, United States
	Seymour Ginsburg , G. F. Rose, Operations Which Preserve Definability in Languages, Journal of the ACM (JACM), v.10 n.2, p.175-195, April 1963
	Hanan Samet, A Coroutine Approach to Parsing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.290-306, July 1980
	Peter Naur, Documentation problems: ALGOL 60, Communications of the ACM, v.6 n.3, p.77-79, March 1963
	Robert W. Floyd, Syntactic Analysis and Operator Precedence, Journal of the ACM (JACM), v.10 n.3, p.316-333, July 1963
	R. J. Nelson, Invited papers—1: basic concepts of automata theory, Proceedings of the 1965 20th national conference, p.138-161, August 24-26, 1965, Cleveland, Ohio, United States
	Calvin C. Elgot , Abraham Robinson, Random-Access Stored-Program Machines, an Approach to Programming Languages, Journal of the ACM (JACM), v.11 n.4, p.365-399, Oct. 1964
	Martin Rem, The Closure Statement: A Programming Language Construct Allowing Ultraconcurrent Execution, Journal of the ACM (JACM), v.28 n.2, p.393-410, April 1981
	E. T. Irons, An error-correcting parse algorithm, Communications of the ACM, v.6 n.11, p.669-673, Nov. 1963
	Robert A. Wagner, Finiteness assumptions and intellectual isolation of computer scientists, Communications of the ACM, v.13 n.12, p.759-760, Dec. 1970
	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978
	Marjorie P. Lietzke, A method of syntax-checking ALGOL 60, Communications of the ACM, v.7 n.8, p.475-478, Aug. 1964
	Per Brinch Hansen, The invention of concurrent programming, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Paul S. Jensen, Interactive theorem retrieval and generation, Proceedings of the 1968 23rd ACM national conference, p.737-742, August 27-29, 1968
	Kleber S. Masterson, Jr., Compilation for two computers with NELIAC, Communications of the ACM, v.3 n.11, p.607-611, Nov. 1960
	Paul W. Abrahams, A final solution to the Dangling else of ALGOL 60 and related languages, Communications of the ACM, v.9 n.9, p.679-682, Sept. 1966
	G. A. Bachelor , J. R. H. Dempster , D. E. Knuth , J. Speroni, SMALGOL-61, Communications of the ACM, v.4 n.11, p.499-502, Nov. 1961
	J. Eickel , M. Paul , F. L. Bauer , K. Samuelson, A syntax controlled generator of formal language processors, Communications of the ACM, v.6 n.8, p.451-455, Aug. 1963
	Hanan Samet, Connected Component Labeling Using Quadtrees, Journal of the ACM (JACM), v.28 n.3, p.487-501, July 1981
	Peter Naur, The European side of the last phase of the development of ALGOL 60, ACM SIGPLAN Notices, v.13 n.8, p.15-44, August 1978
	J. H. Wegstein , W. W. Youden, A string language for symbol manipulation based on ALGOL 60, Communications of the ACM, v.5 n.1, p.54-61, Jan. 1962
	Henry C. Thacher, Jr., A redundancy check for ALGOL programs, Communications of the ACM, v.5 n.6, p.337-342, June 1962
	J. Jensen , P. Mondrup , P. Naur, A storage allocation scheme for ALGOL 60, Communications of the ACM, v.4 n.10, p.441-445, Oct. 1961
	H. R. Schwarz, An introduction to ALGOL: a tutorial paper on ALGOL with explanations and examples to make the use of the ALGOL report more familiar, Communications of the ACM, v.5 n.2, p.82-95, Feb. 1962
	G. E. Forsythe , J. Von der Groeben , J. G. Toole, Vectorcardiographic diagnosis with the aid of ALGOL, Communications of the ACM, v.5 n.2, p.118-122, Feb. 1962
	George E. Forsythe, Remark on algorithm 16: crout with pivoting, Communications of the ACM, v.3 n.10, p.540, Oct. 1960
	Thomas N. Hibbard, Some Combinatorial Properties of Certain Trees With Applications to Searching and Sorting, Journal of the ACM (JACM), v.9 n.1, p.13-28, Jan. 1962
	John B. Johnston, A class of unambiguous computer languages, Communications of the ACM, v.8 n.3, p.147-149, March 1965
	Pierre N. Robillard , Patrick d'Astous , Françoise Détienne , Willemien Visser, Measuring cognitive activities in software engineering, Proceedings of the 20th international conference on Software engineering, p.292-299, April 19-25, 1998, Kyoto, Japan
	Martin Crawford , Robert Techo, Algorithm 123: Real error function, ERF(x), Communications of the ACM, v.5 n.9, p.483, Sept. 1962
	Russell J. Abbott, Knowledge abstraction, Communications of the ACM, v.30 n.8, p.664-671, Aug. 1987
	A. V. Aho , J. D. Ullman, Translations on a context free grammar, Proceedings of the first annual ACM symposium on Theory of computing, p.93-112, May 05-07, 1969, Marina del Rey, California, United States
	Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974
	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.26 n.1, p.100-106, Jan. 1983
	R. M. Shapiro, Artificial languages: Computers, connector systems, and data descriptions, Proceedings of the 1962 ACM national conference on Digest of technical papers, p.72-73, September 01-01, 1962
	Thomas E. Kurtz, BASIC, ACM SIGPLAN Notices, v.13 n.8, p.103-118, August 1978
	Alain Colmerauer, Total Precedence Relations, Journal of the ACM (JACM), v.17 n.1, p.14-30, Jan. 1970
	John A. Darringer, A language for the description of digital computer processors, Proceedings of the 5th annual workshop on Design automation, p.15.1-15.18, July 15-18, 1968, Washington, D. C., United States
	S. Crespi-Reghizzi , R. Morpurgo, A language for treating graphs, Communications of the ACM, v.13 n.5, p.319-323, May 1970
	Charles R. Dyer , Azriel Rosenfeld , Hanan Samet, Region representation: boundary codes from quadtrees, Communications of the ACM, v.23 n.3, p.171-179, March 1980
	E. T. Irons, “Structural connections” in formal languages, Communications of the ACM, v.7 n.2, p.67-72, Feb. 1964
	Edgar T. Irons, Experience with an extensible language, Communications of the ACM, v.13 n.1, p.31-40, Jan. 1970
	A. J. Perlis, Programming of digital computers, Communications of the ACM, v.7 n.4, p.210-211, April 1964
	Seymour Ginsburg , H. Gordon Rice, Two Families of Languages Related to ALGOL, Journal of the ACM (JACM), v.9 n.3, p.350-371, July 1962
	A. A. Grau, A Translator-Oriented Symbolic Programming Language, Journal of the ACM (JACM), v.9 n.4, p.480-487, Oct. 1962
	Ralph L. London, A computer program for discovering and proving recognition rules for Backus Normal Form grammars, Proceedings of the 1964 19th ACM national conference, p.11.301-11.307, January 1964
	Daniel M. Berry, Block structure (Extended Abstract): Retention or deletion?, Proceedings of the third annual ACM symposium on Theory of computing, p.86-100, May 03-05, 1971, Shaker Heights, Ohio, United States
	Arthur F. Kaupe, Jr., A note on the dangling else ALGOL 60, Communications of the ACM, v.6 n.8, p.460, Aug. 1963
	Philip Gilbert, On the Syntax of Algorithmic Languages, Journal of the ACM (JACM), v.13 n.1, p.90-107, Jan. 1966
	E. L. Manderfield, Automatic programming and compilers III: A report on the status of SMALGOL, Proceedings of the 1962 ACM national conference on Digest of technical papers, p.92-93, September 01-01, 1962
	J. C. Boussard, An ALGOL compiler: construction and use in relation to an elaborate operating system, Communications of the ACM, v.9 n.3, p.179-182, March 1966
	C. H. Lindsey, A history of ALGOL 68, ACM SIGPLAN Notices, v.28 n.3, p.97-132, March 1993
	David H. Lorenz, Tiling design patterns—a case study using the interpreter pattern, ACM SIGPLAN Notices, v.32 n.10, p.206-217, Oct. 1997
	C. A. R. Hoare, Communicating sequential processes, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Masud Ahmad Malik, Technical opinion: on the perils of programming, Communications of the ACM, v.43 n.12, p.95-97, Dec. 2000
	Henry C. Thacher, Jr., Conversion of a power to a series of Chebyshev polynomials, Communications of the ACM, v.7 n.3, p.181-182, March 1964
	Hanan Samet, Region representation: quadtrees from boundary codes, Communications of the ACM, v.23 n.3, p.163-170, March 1980
	Edsger W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, v.18 n.8, p.453-457, Aug. 1975
	E. P. Glinert, Out of Flatland: towards 3-D visual programming, Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, p.292-299, December 1987, Dallas, Texas, United States
	H. E. Kulsrud, Programming Languages: A general purpose graphic language, Communications of the ACM, v.11 n.4, p.247-254, April 1968
	Hanan Samet, A quadtree medial axis transform, Communications of the ACM, v.26 n.9, p.680-693, Sept. 1983
	Yaohan Chu, An ALGOL-like computer design language, Communications of the ACM, v.8 n.10, p.607-615, Oct. 1965
	Niklaus Wirth, The programming language Pascal, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	C. A. R. Hoare, Assertions: a personal perspective, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	Friedrich L. Bauer, From the stack principle to ALGOL, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	Irving B. Elliott, The EPN and ESN notations, ACM SIGPLAN Notices, v.19 n.7, July 1984
	Thomas Cleenewerck, Component-based DSL development, Proceedings of the second international conference on Generative programming and component engineering, p.245-264, September 22-25, 2003, Erfurt, Germany
	László Kalmár, An intuitive representation of context-free languages, Proceedings of the 1969 conference on Computational linguistics, p.1-10, September 01-04, 1969, Sång-Säby, Sweden
	Gary A. Sitton , Thomas A. Kendrick , A. Gil Carrick, The PL/EXUS language and virtual machine, ACM SIGPLAN Notices, v.8 n.11, November 1973
	Donald E. Knuth , Jack N. Merner, ALGOL 60 confidential, Communications of the ACM, v.4 n.6, p.268-272, June 1961
	David G. Cantor, On The Ambiguity Problem of Backus Systems, Journal of the ACM (JACM), v.9 n.4, p.477-479, Oct. 1962
	Donald E. Knuth , Richard H. Bigelow, Programming Language for Automata, Journal of the ACM (JACM), v.14 n.4, p.615-635, Oct. 1967
	Bernard A. Galler , Alan J. Perlis, Compiling matrix operations, Communications of the ACM, v.5 n.12, p.590-594, Dec. 1962
	G. J. Vasilakos, A decision matrix as the basis for a simple data input routine, Communications of the ACM, v.5 n.12, p.599-601, Dec. 1962
	David Gries, Use of transition matrices in compiling, Communications of the ACM, v.11 n.1, p.26-34, Jan. 1968
	Alfonso Caracciolo Di Forino, Some remarks on the syntax of symbolic programming languages, Communications of the ACM, v.6 n.8, p.456-460, Aug. 1963
	H. Bottenbruch, Structure and Use of ALGOL 60, Journal of the ACM (JACM), v.9 n.2, p.161-221, April 1962
	Gary A. Sitton , Thomas A. Kendrick , A. Gil Carrick, Jr., The PL/EXUS language and virtual machine, Proceedings of the ACM-IEEE symposium on High-level-language computer architecture, p.124-130, November 07-08, 1973, College Park, Maryland, United States
	Eric A. Weiss, Biographies, IEEE Annals of the History of Computing, v.11 n.3, p.210-225, September 1989
	S. A. Greibach, Comments on the roots of theorems and languages both easy and hard, ACM SIGACT News, v.13 n.1, p.26-29, Winter 1981
	Edsger W. Dijkstra, Guarded commands, non-determinacy and a calculus for the derivation of programs, ACM SIGPLAN Notices, v.10 n.6, p.2-2.13, June 1975
	Jean E. Sammet, A definition of the cobol procedure division using algol metalinguistics, Proceedings of the 1961 16th ACM national meeting, p.52.101-52.104, January 1961
	C. H. Lindsey, A history of ALGOL 68, History of programming languages---II, ACM Press, New York, NY, 1996
	N. Wirth, Recollections about the development of Pascal, History of programming languages---II, ACM Press, New York, NY, 1996
	Richard A. Frost, Realization of natural language interfaces using lazy functional programming, ACM Computing Surveys (CSUR), v.38 n.4, p.11-es, 2006
	James P. Anderson, A computer for direct execution of algorithmic languages, Proceedings of the December 12-14, 1961, eastern joint computer conference: computers - key to total systems control, p.184-193, December 12-14, 1961, Washington, D.C.
	Robert W. Floyd, On ambiguity in phrase structure languages, Communications of the ACM, v.5 n.10, p.526, Oct. 1962
	Shai Rubin , Somesh Jha , Barton P. Miller, Protomatching network traffic for high throughputnetwork intrusion detection, Proceedings of the 13th ACM conference on Computer and communications security, October 30-November 03, 2006, Alexandria, Virginia, USA
	Peter Naur, Computing versus human thinking, Communications of the ACM, v.50 n.1, p.85-94, January 2007
	Kristen Nygaard , Ole-Johan Dahl, The development of the SIMULA languages, History of programming languages I, ACM Press, New York, NY, 1978
	Alan J. Perlis, The American side of the development of ALGOL, History of programming languages I, ACM Press, New York, NY, 1978
	Thomas E. Kurtz, BASIC, History of programming languages I, ACM Press, New York, NY, 1978
	Peter Naur, The European side of the last phase of the development of ALGOL 60, History of programming languages I, ACM Press, New York, NY, 1978
	Andrew P. Black , Norman C. Hutchinson , Eric Jul , Henry M. Levy, The development of the Emerald programming language, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.11-1-11-51, June 09-10, 2007, San Diego, California
	D. Knuth, Structured programming with go to statements, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979
	John McCarthy, A basis for a mathematical theory of computation, preliminary report, Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference, May 09-11, 1961, Los Angeles, California
	Peter Naur, Progress of ALGOL in Europe, ALGOL Bulletin
	H. Christiansen, A survey of adaptable grammars, ACM SIGPLAN Notices, v.25 n.11, p.35-44, Nov. 1990
	Niklaus Wirth, Good Ideas, through the Looking Glass, Computer, v.39 n.1, p.28-39, January 2006
	John T. O'Neil, Jr., META PI: an on-line interactive compiler-compiler, Proceedings of the December 9-11, 1968, fall joint computer conference, part I, December 09-11, 1968, San Francisco, California
	T. B. Steel, Jr., A first version of UNCOL, Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference, May 09-11, 1961, Los Angeles, California
	Jean E. Sammet, A method of combining ALGOL and COBOL, Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference, May 09-11, 1961, Los Angeles, California
	Robert M. Graham, Bounded context translation, Proceedings of the April 21-23, 1964, spring joint computer conference, April 21-23, 1964, Washington, D.C.
	T. E. Cheatham, Jr. , Kirk Sattley, Syntax-directed compiling, Proceedings of the April 21-23, 1964, spring joint computer conference, April 21-23, 1964, Washington, D.C.
	Stephen Warshall, A syntax directed generator, Proceedings of the December 12-14, 1961, eastern joint computer conference: computers - key to total systems control, p.295-305, December 12-14, 1961, Washington, D.C.
	D. F. Gorman , J. P. Anderson, A logic design translator, Proceedings of the December 4-6, 1962, fall joint computer conference, p.251-261, December 04-06, 1962, Philadelphia, Pennsylvania
	Wolfgang Ocker , Sandra Teger, HYTRAN: a software system to aid the analog programmer, Proceedings of the October 27-29, 1964, fall joint computer conference, part I, October 27-29, 1964, San Francisco, California
	R. S. Barton, A new approach to the functional design of a digital computer, Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference, May 09-11, 1961, Los Angeles, California
	Stephen Warshall , Robert M. Shapiro, A general-purpose table-driven compiler, Proceedings of the April 21-23, 1964, spring joint computer conference, April 21-23, 1964, Washington, D.C.
	Philip Gilbert , William G. McLellan, Compiler generation using formal specification of procedure-oriented and machine languages, Proceedings of the April 18-20, 1967, spring joint computer conference, April 18-20, 1967, Atlantic City, New Jersey
	Stephen H. Caine , E. Kent Gordon, PDL: a tool for software design, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California
	Susan Lysecky , Frank Vahid, Enabling nonexpert construction of basic sensor-based systems, ACM Transactions on Computer-Human Interaction (TOCHI), v.16 n.1, p.1-28, April 2009
	Jean E. Sammet , Michael S. Mahoney, Software history, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003