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): 12, Downloads (12 Months): 114, Citation Count: 130

Additional Information:

cited by collaborative colleagues peer to peer

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

	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
	Kenneth E. Iverson, A method of syntax specification, Communications of the ACM, v.7 n.10, p.588-589, Oct. 1964
	Donald E. Knuth, The remaining trouble spots in ALGOL 60, Communications of the ACM, v.10 n.10, p.611-618, Oct. 1967
	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
	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
	Robert A. Wagner, Finiteness assumptions and intellectual isolation of computer scientists, Communications of the ACM, v.13 n.12, p.759-760, Dec. 1970
	Marjorie P. Lietzke, A method of syntax-checking ALGOL 60, Communications of the ACM, v.7 n.8, p.475-478, Aug. 1964
	Paul S. Jensen, Interactive theorem retrieval and generation, Proceedings of the 1968 23rd ACM national conference, p.737-742, August 27-29, 1968
	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. 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
	George E. Forsythe, Remark on algorithm 16: crout with pivoting, Communications of the ACM, v.3 n.10, p.540, Oct. 1960
	John B. Johnston, A class of unambiguous computer languages, Communications of the ACM, v.8 n.3, p.147-149, March 1965
	Martin Crawford , Robert Techo, Algorithm 123: Real error function, ERF(x), Communications of the ACM, v.5 n.9, p.483, Sept. 1962
	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
	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
	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
	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
	Irving B. Elliott, The EPN and ESN notations, ACM SIGPLAN Notices, v.19 n.7, July 1984
	Donald E. Knuth , Jack N. Merner, ALGOL 60 confidential, Communications of the ACM, v.4 n.6, p.268-272, June 1961
	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
	Robert W. Floyd, On ambiguity in phrase structure languages, Communications of the ACM, v.5 n.10, p.526, Oct. 1962
	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
	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
	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
	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
	Peter Naur, Documentation problems: ALGOL 60, Communications of the ACM, v.6 n.3, p.77-79, March 1963
	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
	Arthur F. Kaupe, Jr., A note on the dangling else ALGOL 60, Communications of the ACM, v.6 n.8, p.460, Aug. 1963
	Edsger W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, v.18 n.8, p.453-457, Aug. 1975
	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
	H. Bottenbruch, Structure and Use of ALGOL 60, Journal of the ACM (JACM), v.9 n.2, p.161-221, April 1962
	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
	Peter Naur, Computing versus human thinking, Communications of the ACM, v.50 n.1, p.85-94, January 2007
	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
	Jean E. Sammet , Michael S. Mahoney, Software history, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
	C. A. R. Hoare, Assertions: A Personal Perspective, IEEE Annals of the History of Computing, v.25 n.2, p.14-25, April 2003
	Kleber S. Masterson, Jr., Compilation for two computers with NELIAC, Communications of the ACM, v.3 n.11, p.607-611, Nov. 1960
	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
	C. A. R. Hoare, Assertions: a personal perspective, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	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
	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
	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
	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.
	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
	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
	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.
	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
	Peter Wegner, Communications between independently translated blocks, Communications of the ACM, v.5 n.7, p.376-381, July 1962
	Robert W. Floyd, Syntactic Analysis and Operator Precedence, Journal of the ACM (JACM), v.10 n.3, p.316-333, July 1963
	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
	A. J. Perlis, Programming of digital computers, Communications of the ACM, v.7 n.4, p.210-211, April 1964
	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
	Eric A. Weiss, Biographies, IEEE Annals of the History of Computing, v.11 n.3, p.210-225, September 1989
	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
	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, “Structural connections” in formal languages, Communications of the ACM, v.7 n.2, p.67-72, Feb. 1964
	A. A. Grau, A Translator-Oriented Symbolic Programming Language, Journal of the ACM (JACM), v.9 n.4, p.480-487, Oct. 1962
	Hanan Samet, Region representation: quadtrees from boundary codes, Communications of the ACM, v.23 n.3, p.163-170, March 1980
	Peter Naur, Progress of ALGOL in Europe, ALGOL Bulletin
	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
	S. Crespi-Reghizzi , R. Morpurgo, A language for treating graphs, Communications of the ACM, v.13 n.5, p.319-323, May 1970
	Philip Gilbert, On the Syntax of Algorithmic Languages, Journal of the ACM (JACM), v.13 n.1, p.90-107, Jan. 1966
	E. T. Irons, An error-correcting parse algorithm, Communications of the ACM, v.6 n.11, p.669-673, Nov. 1963
	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
	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
	Alain Colmerauer, Total Precedence Relations, Journal of the ACM (JACM), v.17 n.1, p.14-30, Jan. 1970
	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
	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
	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
	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.
	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
	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
	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
	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
	Edgar T. Irons, Experience with an extensible language, Communications of the ACM, v.13 n.1, p.31-40, Jan. 1970
	Hanan Samet, Connected Component Labeling Using Quadtrees, Journal of the ACM (JACM), v.28 n.3, p.487-501, July 1981
	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
	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
	David Gries, Use of transition matrices in compiling, Communications of the ACM, v.11 n.1, p.26-34, Jan. 1968
	Hanan Samet, A quadtree medial axis transform, Communications of the ACM, v.26 n.9, p.680-693, Sept. 1983
	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
	H. E. Kulsrud, Programming Languages: A general purpose graphic language, Communications of the ACM, v.11 n.4, p.247-254, April 1968
	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
	Robert M. Graham, Bounded context translation, Proceedings of the April 21-23, 1964, spring joint computer conference, April 21-23, 1964, Washington, D.C.
	D. Knuth, Structured programming with go to statements, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979
	Alan J. Perlis, The American side of the development of Algol, ACM SIGPLAN Notices, v.13 n.8, p.3-14, August 1978
	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
	Hanan Samet, A Coroutine Approach to Parsing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.290-306, July 1980
	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
	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.26 n.1, p.100-106, Jan. 1983
	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978
	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
	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
	Alan J. Perlis, The American side of the development of ALGOL, History of programming languages I, ACM Press, New York, NY, 1978
	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
	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
	H. Christiansen, A survey of adaptable grammars, ACM SIGPLAN Notices, v.25 n.11, p.35-44, Nov. 1990
	N. Wirth, Recollections about the development of Pascal, History of programming languages---II, ACM Press, New York, NY, 1996
	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
	Friedrich L. Bauer, From the stack principle to ALGOL, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
	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
	Peter Wegner, Operational semantics of programming languages, ACM SIGACT News
	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
	Thomas E. Kurtz, BASIC, History of programming languages I, ACM Press, New York, NY, 1978
	Thomas E. Kurtz, BASIC, ACM SIGPLAN Notices, v.13 n.8, p.103-118, August 1978
	Russell J. Abbott, Knowledge abstraction, Communications of the ACM, v.30 n.8, p.664-671, Aug. 1987
	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
	C. H. Lindsey, A history of ALGOL 68, ACM SIGPLAN Notices, v.28 n.3, p.97-132, March 1993
	C. H. Lindsey, A history of ALGOL 68, History of programming languages---II, ACM Press, New York, NY, 1996
	Kristen Nygaard , Ole-Johan Dahl, The development of the SIMULA languages, History of programming languages I, ACM Press, New York, NY, 1978
	Kristen Nygaard , Ole-Johan Dahl, The development of the SIMULA languages, ACM SIGPLAN Notices, v.13 n.8, p.245-272, August 1978
	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
	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
	Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974
	Saul Gorn, Mechanical languages: a course specification, Communications of the ACM, v.7 n.4, p.219-222, April 1964
	Richard A. Frost, Realization of natural language interfaces using lazy functional programming, ACM Computing Surveys (CSUR), v.38 n.4, p.11-es, 2006
	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
	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
	Jerome Feldman , David Gries, Translator writing systems, Communications of the ACM, v.11 n.2, p.77-113, Feb. 1968