Subscribe
(Full Service)
Register
(Limited Service,
Free
)
Login
Search:
The ACM Digital Library
The Guide
Feedback
A contribution to the development of ALGOL
Full text
Pdf
(2.56 MB)
Source
Communications of the ACM
archive
Volume 9 , Issue 6 (June 1966)
table of contents
Pages: 413 - 432
Year of Publication: 1966
ISSN:0001-0782
Authors
Niklaus Wirth
Stanford Univ., Stanford, CA
C. A. R. Hoare
Elliott Automation Computers, Ltd., Borehamwood, England
Publisher
ACM
New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 11, Downloads (12 Months): 76, Citation Count: 80
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/365696.365702
What is a DOI?
CITED BY
80
Barry K. Rosen, Data Flow Analysis for Procedural Languages, Journal of the ACM (JACM), v.26 n.2, p.322-344, April 1979
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
H. D. Baecker, Garbage collection for virtual memory computer systems, Communications of the ACM, v.15 n.11, p.981-986, Nov. 1972
George T. Ligler, The assignment axiom and programming language design, Proceedings of the annual conference, p.2-6, October 20-22, 1976, Houston, Texas, United States
A. Maggiolo-Schettini , B. K. Rosen , H. R. Strong, Procedure linkage optimization working paper, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.183-193, October 01-03, 1973, Boston, Massachusetts
W. Wulf , C. Geschke , D. Wile , J. Apperson, Reflections on a systems programming language, ACM SIGPLAN Notices, v.6 n.9, p.42-49, October 1971
C. H. Lindsey, A history of ALGOL 68, ACM SIGPLAN Notices, v.28 n.3, p.97-132, March 1993
Jerome Feldman , David Gries, Translator writing systems, Communications of the ACM, v.11 n.2, p.77-113, Feb. 1968
Erik Crank , Matthias Felleisen, Parameter-passing and the lambda calculus, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.233-244, January 21-23, 1991, Orlando, Florida, United States
Krzysztof R. Apt, Ten Years of Hoare's Logic: A Survey—Part I, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.431-483, Oct. 1981
Martin Odersky, Programming with variable functions, ACM SIGPLAN Notices, v.34 n.1, p.105-116, Jan. 1999
Mark Weiser, Programmers use slices when debugging, Communications of the ACM, v.25 n.7, p.446-452, July 1982
Jacques Cohen , Ann Rubin, An interactive system for proving theorems in the predicate calculus, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.268-280, March 23-25, 1971, Los Angeles, California, United States
R. L. Ashenhurst, Curriculum recommendations for graduate professional programs in information systems, Communications of the ACM, v.15 n.5, p.363-398, May 1972
A systems implementation language for small computers, ACM SIGPLAN Notices, v.8 n.9, p.60-63, September 1973
Jerome A. Feldman , Paul D. Rovner, An ALGOL-based associative language, Communications of the ACM, v.12 n.8, p.439-449, Aug. 1969
Bertrand Meyer, Lessons from the design of the Eiffel libraries, Communications of the ACM, v.33 n.9, p.68-88, Sept. 1990
Edsger W. Dijkstra, Letters to the editor: go to statement considered harmful, Communications of the ACM, v.11 n.3, p.147-148, March 1968
Martin E. Hopkins, A case for the GOTO, Proceedings of the ACM annual conference, p.787-790, August 01-01, 1972, Boston, Massachusetts, United States
Douglas T. Ross, Origins of the APT language for automatically programmed tools, ACM SIGPLAN Notices, v.13 n.8, p.61-99, August 1978
N. Wirth, Recollections about the development of Pascal, ACM SIGPLAN Notices, v.28 n.3, p.333-342, March 1993
Peter M. Neely, On program control structure, Proceedings of the annual conference, p.119-125, August 27-29, 1973, Atlanta, Georgia, United States
B. M. Leavenworth, Programming with(out) the GOTO, Proceedings of the ACM annual conference, p.782-786, August 01-01, 1972, Boston, Massachusetts, United States
Niklaus Wirth, On multiprogramming, machine coding, and computer organization, Communications of the ACM, v.12 n.9, p.489-498, Sept. 1969
Niklaus Wirth, PL360, a Programming Language for the 360 Computers, Journal of the ACM (JACM), v.15 n.1, p.37-74, Jan. 1968
G. A. Mapp, Proposed library of programs for personnel and related work, Communications of the ACM, v.11 n.9, p.593, Sept. 1968
Bernard A. Galler, Letters to the editor: Language protection by trademark ill-advised, Communications of the ACM, v.11 n.3, p.148, March 1968
Linda C. Jones , David A. Nelson, A quantitative assessment of IBM's programming productivity techniques, Proceedings of the 13th conference on Design automation, p.344-353, June 28-30, 1976, San Francisco, California, United States
Adrienne Critcher, The functional power of parameter passage mechanism, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.158-168, January 29-31, 1979, San Antonio, Texas
R. S. Scowen, Babel, an application of extensible compilers, ACM SIGPLAN Notices, v.6 n.12, p.1-7, December 1971
Neal Laurance, A compiler language for data structures, Proceedings of the 1968 23rd ACM national conference, p.387-394, August 27-29, 1968
Ole-Johan Dahl , Kristen Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, v.9 n.9, p.671-678, Sept. 1966
Peter Dencker , Karl Dürre , Johannes Heuft, Optimization of parser tables for portable compilers, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.4, p.546-572, Oct. 1984
Ben Wegbreit , Jay M. Spitzen, Proving Properties of Complex Data Structures, Journal of the ACM (JACM), v.23 n.2, p.389-396, April 1976
Richard B. Kieburtz, Programming without pointer variables, ACM SIGMOD Record, v.8 n.2, p.95-107, March 1976
Alan R. Feuer , Narain H. Gehani, Comparison of the Programming Languages C and Pascal, ACM Computing Surveys (CSUR), v.14 n.1, p.73-92, March 1982
Jan V. Garwick, Programming Languages: GPL, a truly general purpose language, Communications of the ACM, v.11 n.9, p.634-638, Sept. 1968
Niklaus Wirth, Pascal and its successors, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
Richard C. Holt , Marc S. Grushcow, A short discussion of interprocess communication in the sue/360/370 operating system, ACM SIGPLAN Notices, v.8 n.9, p.74-78, September 1973
Niklaus Wirth, The programming language Pascal, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
Edsger W. Dijkstra, Go to statement considered harmful, Software pioneers: contributions to software engineering, Springer-Verlag New York, Inc., New York, NY, 2002
G. Forsythe, Syllabi and qualifying examinations for the Ph. D. in computer science at Stanford University, ACM SIGCSE Bulletin, v.1 n.4, p.25-34, December 1969
Sergio E. R. Carvalho , Miguel Angelo A. Nóvoa, On the use of pointers and the teaching of disciplined programming, ACM SIGCSE Bulletin, v.8 n.3, p.26-29, July 1976
Douglas T. Ross, The AED free storage package, Communications of the ACM, v.10 n.8, p.481-492, Aug. 1967
Kuo-Chung Tai, Comments on parameter passing techniques in programming languages, ACM SIGPLAN Notices, v.17 n.2, p.24-27, February 1982
John D. Woolley , Leland R. Miller, LINUS: A structured language for instructional use, ACM SIGCSE Bulletin, v.6 n.1, p.125-128, February 1974
H. D. Baecker, On a missing mode in ALGOL 68, ACM SIGPLAN Notices, v.7 n.12, p.20-30, December 1972
John C. Reynolds, G/EDANKEN—a simple typeless language based on the principle of completeness and the reference concept, Communications of the ACM, v.13 n.5, p.308-319, May 1970
B. M. Leavenworth, Programming with(out) the GOTO, ACM SIGPLAN Notices, v.7 n.11, November 1972
Frank L Friedman , Victor B Schneider, A programming language for mini-computer systems, ACM SIGPLAN Notices, v.9 n.1, p.8-32, January 1974
Ronald Morrison, The string as a simple data type, ACM SIGPLAN Notices, v.17 n.3, p.46-52, March 1982
Leonard H. Weiner, The roots of structured programming, ACM SIGCSE Bulletin, v.10 n.1, February 1978
Leonard Mor , Joseph H. Yott , Hans Zima, Progress: a programming language for real-time systems, ACM SIGPLAN Notices, v.7 n.6, June 1972
Martin E. Hopkins, A case for the GOTO, ACM SIGPLAN Notices, v.7 n.11, November 1972
Frank DeRemer , Hans Kron, Programming-in-the large versus programming-in-the-small, ACM SIGPLAN Notices, v.10 n.6, p.114-121, June 1975
Uday S. Reddy , Hongseok Yang, Correctness of data representations involving heap data structures, Science of Computer Programming, v.50 n.1-3, p.129-160, March 2004
G. Winiger, A note on one-pass CASE statement compilation, ACM SIGPLAN Notices, v.11 n.1, January 1976
N. Wirth, Recollections about the development of Pascal, History of programming languages---II, ACM Press, New York, NY, 1996
C. H. Lindsey, A history of ALGOL 68, History of programming languages---II, ACM Press, New York, NY, 1996
John F. Shoch, An overview of the programming language Smalltalk-72, ACM SIGPLAN Notices, v.14 n.9, September 1979
Lori A. Clarke , David S. Rosenblum, A historical perspective on runtime assertion checking in software development, ACM SIGSOFT Software Engineering Notes, v.31 n.3, May 2006
Jeffrey P. Krischer, Letters to the editor: On computer appreciation in the undergraduate curriculum, Communications of the ACM, v.11 n.9, p.594, Sept. 1968
E. Dijkstra, Go to statement considered harmful, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979
M. E. Hopkins, A case for the GOTO, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979
Douglas T. Ross, Origins of the APT language for automatically programmed tools, History of programming languages I, ACM Press, New York, NY, 1978
Dines Bjørner, Pinnacles of software engineering: 25 years of formal methods, Annals of Software Engineering, v.10 n.1-4, p.11-66, 2000
F. G. Duncan, Algol bulletin no. 25, ACM SIGPLAN Notices, v.2 n.5, May 1967
F. G. Duncan, Algol bulletin no. 25, ACM SIGPLAN Notices, v.2 n.5, May 1967
F. G. Duncan, ALGOL bulletin no. 27, ACM SIGPLAN Notices, v.3 n.9, September 1968
Peter Naur, References, ALGOL Bulletin
N. Wirth, Additional Notes on - Contribution to the Development of ALGOL", ALGOL Bulletin
I. D. Hill, Remarks on "Contribution to the Development of ALGOL", ALGOL Bulletin
D. Wood, A Note on Programming Languages, ALGOL Bulletin
I. D. Hill, For Statements and the Copy Rule, ALGOL Bulletin
Malcolm C. Newey, An efficient system for user extendible languages, Proceedings of the December 9-11, 1968, fall joint computer conference, part II, December 09-11, 1968, San Francisco, California
W. M. McKeeman , J. J. Horning , E. C. Nelson , D. B. Wortman, The XPL compiler generator system, Proceedings of the December 9-11, 1968, fall joint computer conference, part I, December 09-11, 1968, San Francisco, California
Diane Crawford, Forum, Communications of the ACM, v.51 n.1, January 2008
James R. Kennedy, A system for time-sharing graphic consoles, Proceedings of the November 7-10, 1966, fall joint computer conference, November 07-10, 1966, San Francisco, California
W. Van Snyder, Scientific programming in Fortran, Scientific Programming, v.15 n.1, p.3-8, January 2007
Andrew B. Mickel, Pascal, Encyclopedia of Computer Science, 4th edition, John Wiley and Sons Ltd., Chichester, 2003
Collaborative Colleagues:
Niklaus Wirth:
colleagues
C. A. R. Hoare:
colleagues