Revised report on the algorithm language ALGOL 60

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Revised report on the algorithm language ALGOL 60

Full text

Pdf (1.75 MB)

Source

Communications of the ACM archive
Volume 6 , Issue 1 (January 1963) table of contents

Pages: 1 - 17

Year of Publication: 1963

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

P. Naur

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 119, Citation Count: 204

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/366193.366201 What is a DOI?

CITED BY 204

	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
	N. Minsky, Files with semantics, Proceedings of the 1976 ACM SIGMOD international conference on Management of data, June 02-04, 1976, Washington, D.C.
	Eric Jones , Paul Runkle , Nilanjan Dasgupta , Luise Couchman , Lawrence Carin, Genetic Algorithm Wavelet Design for Signal Classification, IEEE Transactions on Pattern Analysis and Machine Intelligence, v.23 n.8, p.890-895, August 2001
	William F. Atchison , Samuel D. Conte , John W. Hamblen , Thomas E. Hull , Thomas A. Keenan , William B. Kehl , Edward J. McCluskey , Silvio O. Navarro , Werner C. Rheinboldt , Earl J. Schweppe , William Viavant , David M. Young, Jr., Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science, Communications of the ACM, v.11 n.3, p.151-197, March 1968
	Clement McGowan, The Contour Model Lambda Calculus Machine, ACM SIGPLAN Notices, v.7 n.1, p.110-115, January 1972
	Everett F. Allen, A formal definition of APL statement syntax, Proceedings of seventh international conference on APL, p.15-19, June 11-13, 1975, Pisa, Italy
	Henry F. Ledgard, Ten Mini-Languages: A Study of Topical Issues in Programming Languages, ACM Computing Surveys (CSUR), v.3 n.3, p.115-146, Sept. 1971
	A. J. Perlis , Renato Iturriaga, An extension to ALGOL for manipulating formulae, Communications of the ACM, v.7 n.2, p.127-130, Feb. 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
	Peter Wegner, The Vienna Definition Language, ACM Computing Surveys (CSUR), v.4 n.1, p.5-63, March 1972
	H. Kanner , P. Kosinski , C. L. Robinson, The structure of yet another ALGOL compiler, Communications of the ACM, v.8 n.7, p.427-438, July 1965
	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
	Mark B. Wells, Recent improvements in MADCAP, Communications of the ACM, v.6 n.11, p.674-678, Nov. 1963
	Jerome A. Feldman , Paul D. Rovner, An ALGOL-based associative language, Communications of the ACM, v.12 n.8, p.439-449, Aug. 1969
	Stephen Weeks , Matthias Felleisen, On the orthogonality of assignments and procedures in Algol, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.57-70, March 1993, Charleston, South Carolina, United States
	James B. Morris, Data abstraction: A static implementation strategy, ACM SIGPLAN Notices, v.14 n.8, p.1-7, August 1979
	Clement L. McGowan, The “most recent” error: Its causes and correction, ACM SIGACT News
	Donald E. Knuth, The remaining trouble spots in ALGOL 60, Communications of the ACM, v.10 n.10, p.611-618, Oct. 1967
	S. A. Brown , C. E. Drayton , B. Mittman, A description of the APT language, Communications of the ACM, v.6 n.11, p.649-658, Nov. 1963
	R. D. Tennent, The denotational semantics of programming languages, Communications of the ACM, v.19 n.8, p.437-453, Aug. 1976
	Kenneth E. Iverson, A method of syntax specification, Communications of the ACM, v.7 n.10, p.588-589, Oct. 1964
	Franklin L. DeRemer, Simple LR(k) grammars, Communications of the ACM, v.14 n.7, p.453-460, July 1971
	Henry F. Ledgard, Production systems: or can we do better than BNF, Communications of the ACM, v.17 n.2, p.94-102, Feb. 1974
	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
	Rodney A. Brooks , Richard P. Gabriel , Guy L. Steele, Jr., An optimizing compiler for lexically scoped LISP, ACM SIGPLAN Notices, v.17 n.6, p.261-275, June 1982
	Cliff B. Jones, The Early Search for Tractable Ways of Reasoning about Programs, IEEE Annals of the History of Computing, v.25 n.2, p.26-49, April 2003
	John Hatcliff , Olivier Danvy, A generic account of continuation-passing styles, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.458-471, January 16-19, 1994, Portland, Oregon, United States
	James F. Gimpel, Blocks—a new datatype for SNOBOL4, Communications of the ACM, v.15 n.6, p.438-447, June 1972
	Jeffrey M. Barth, An interprocedural data flow analysis algorithm, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.119-131, January 17-19, 1977, Los Angeles, California
	J. F. Traub, Numerical mathematics and computer science, Communications of the ACM, v.15 n.7, p.537-541, July 1972
	Guillermo Juan Rozas, Taming the Y operator, ACM SIGPLAN Lisp Pointers, v.V n.1, p.226-234, Jan. 1992
	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
	Barry K. Rosen, Tree-Manipulating Systems and Church-Rosser Theorems, Journal of the ACM (JACM), v.20 n.1, p.160-187, Jan. 1973
	Emilio Luque Fadon , Lorenzo Moreno Ruiz , José F. Tirado Fernandez, High level languages processor architecture, Proceedings of the 1977 annual conference, p.479-483, January 1977
	R. Hieb , R. Kent Dybvig, Continuations and concurrency, ACM SIGPLAN Notices, v.25 n.3, p.128-136, Mar. 1990
	B. M. Leavenworth, Syntax macros and extended translation, Communications of the ACM, v.9 n.11, p.790-793, Nov. 1966
	Neil D. Jones , Steven S. Muchnick, The Complexity of Finite Memory Programs with Recursion, Journal of the ACM (JACM), v.25 n.2, p.312-231, April 1978
	D. L. Parnas , John E. Shore , David Weiss, Abstract types defined as classes of variables, ACM SIGMOD Record, v.8 n.2, p.149-154, March 1976
	Yaohan Chu, Recursive microprogramming in a syntax recognizer, Conference record of the 6th annual workshop on Microprogramming, p.91-98, September 24-25, 1973, College Park, Maryland, United States
	William F. Atchison , Samuel D. Conte , John W. Hamblen , Thomas E. Hull , Thomas A. Keenan , William B. Kehl , Edward J. McCluskey , Silvio O. Navarro , Werner C. Rheinboldt , Earl J. Schweppe , William Viavant , David M. Young, Jr., Curriculum 68: Recommendations for academic programs in computer science: a report of the ACM curriculum committee on computer science, Communications of the ACM, v.11 n.3, p.151-197, March 1968
	G. E. Haynam, Programming languages for non-numeric processing—2: An extended ALGOL based language, Proceedings of the 1965 20th national conference, p.449-454, August 24-26, 1965, Cleveland, Ohio, United States
	Harold S. Stone, One-Pass compilation of arithmetic expressions for a parallel processor, Communications of the ACM, v.10 n.4, p.220-223, April 1967
	I. C. Pyle, Format effectors in ISO7 and ASCII, Communications of the ACM, v.10 n.3, p.137, March 1967
	Robert A. Wagner, Finiteness assumptions and intellectual isolation of computer scientists, Communications of the ACM, v.13 n.12, p.759-760, Dec. 1970
	Patrick Causot , Radhia Cousot, Static determination of dynamic properties of generalized type unions, ACM SIGPLAN Notices, v.12 n.3, p.77-94, March 1977
	Gerhard Kratky , Hermann Kopetz, The semantics of a mathematically oriented computer language, Proceedings of the 1969 24th national conference, p.505-510, August 26-28, 1969
	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
	Susan L. Graham , Michael A. Harrison , Ethan V. Munson, The Proteus presentation system, ACM SIGSOFT Software Engineering Notes, v.17 n.5, p.130-138, Dec. 1992
	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
	A. J. Korenjak, A practical method for constructing LR (k) processors, Communications of the ACM, v.12 n.11, p.613-623, Nov. 1969
	Carlos Christensen, An introduction to AMBIT/L, a diagrammatic language for list processing, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.248-260, March 23-25, 1971, Los Angeles, California, United States
	Mads Tofte, A brief introduction to regions, ACM SIGPLAN Notices, v.34 n.3, p.186-195, March 1999
	Robert W. Scheifler, An analysis of inline substitution for a structured programming language, Communications of the ACM, v.20 n.9, p.647-654, Sept. 1977
	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
	Wilf R. LaLonde , Jim des Rivieres, Handling Operator Precedence in Arithmetic Expressions with Tree Transformations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.1, p.83-103, Jan. 1981
	Vivek Nirkhe , William Pugh, Partial evaluation of high-level imperative programming languages with applications in hard real-time systems, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.269-280, January 19-22, 1992, Albuquerque, New Mexico, United States
	R. Bayer , D. Gries , M. Paul , H. R. Wiehle, The ALCOR Illinois 7090/7094 post mortem dump, Communications of the ACM, v.10 n.12, p.804-808, Dec. 1967
	Clair W. Goldsmith, The design of a procedureless programming language, ACM SIGPLAN Notices, v.9 n.4, p.13-24, April 1974
	David Harel, And/Or Programs: A New Approach to Structured Programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.1, p.1-17, Jan. 1980
	Guy L. Steele, Jr. , Richard P. Gabriel, The evolution of Lisp, ACM SIGPLAN Notices, v.28 n.3, p.231-270, March 1993
	Niklaus Wirth, A generalization of ALGOL, Communications of the ACM, v.6 n.9, p.547-554, Sept. 1963
	B. A. Galler , A. J. Perlis, A proposal for definitions in ALGOL, Communications of the ACM, v.10 n.4, p.204-219, April 1967
	D. E. Knuth, A proposal for input-output conventions in ALGOL 60, Communications of the ACM, v.7 n.5, p.273-283, May 1964
	Richard E. Marks, On the machine conversion of B5500 Algol to CDC 6000 Algol, Proceedings of the 1971 26th annual conference, p.554-559, January 1971
	N. Wirth, Recollections about the development of Pascal, ACM SIGPLAN Notices, v.28 n.3, p.333-342, March 1993
	Jeffrey M. Barth, A practical interprocedural data flow analysis algorithm, Communications of the ACM, v.21 n.9, p.724-736, Sept. 1978
	Per Brinch Hansen, Efficient parallel recursion, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Walter H. Burkhardt, Metalanguage and syntax specification, Communications of the ACM, v.8 n.5, p.304-305, May 1965
	A. Schurmann, Business Applications: GAN, a system for generating and analyzing activity networks, Communications of the ACM, v.11 n.10, p.675-679, Oct. 1968
	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
	Y. H. Chuang , C. C. Kao, Computer expansion of Boolean expressions, Proceedings of the 8th workshop on Design automation, p.378-383, June 28-30, 1971, Atlantic City, New Jersey, United States
	Jacques Cohen , Carl Zuckerman, Two languages for estimating program efficiency, Communications of the ACM, v.17 n.6, p.301-308, June 1974
	Mads Tofte , Lars Birkedal, A region inference algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.4, p.724-767, July 1998
	Anthony C. Hearn, REDUCE 2: A system and language for algebraic manipulation, Proceedings of the second ACM symposium on Symbolic and algebraic manipulation, p.128-133, March 23-25, 1971, Los Angeles, California, United States
	Joe M. Thames, Jr., SLANG a problem solving language for continuous-model simulation and optimization, Proceedings of the 1969 24th national conference, p.23-41, August 26-28, 1969
	Sheila A. Greibach, Some restrictions on W-grammars, Proceedings of the sixth annual ACM symposium on Theory of computing, p.256-265, April 30-May 02, 1974, Seattle, Washington, United States
	H. Rex Hartson , Deborah Hix, Human-computer interface development: concepts and systems for its management, ACM Computing Surveys (CSUR), v.21 n.1, p.5-92, March 1989
	A. P. Yershov, ALPHA—An Automatic Programming System of High Efficiency, Journal of the ACM (JACM), v.13 n.1, p.17-24, Jan. 1966
	P. W. O'Hearn , R. D. Tennent, Parametricity and local variables, Journal of the ACM (JACM), v.42 n.3, p.658-709, May 1995
	T. V. Griffiths , S. R. Petrick, On the relative efficiencies of context-free grammar, Communications of the ACM, v.8 n.5, p.289-300, May 1965
	A. J. DeSalvio , J. G. Purdy , J. Rau, Creation and control of internal data bases under a Fortran programming environment, Communications of the ACM, v.13 n.4, p.211-215, April 1970
	D. M. Berry , L. Chirica , J. B. Johnston , D. F. Martin , A. Sorkin, On the time required for retention, Proceedings of the ACM-IEEE symposium on High-level-language computer architecture, p.165-178, November 07-08, 1973, College Park, Maryland, United States
	Y. C. Lee , K. S. Fu, Integration of solid modeling and data base management for CAD/CAM, Proceedings of the 20th conference on Design automation, p.367-373, June 27-29, 1983, Miami Beach, Florida, United States
	Jacques Cohen, A view of the origins and development of Prolog, Communications of the ACM, v.31 n.1, p.26-36, Jan. 1988
	P. J. Landin, Correspondence between ALGOL 60 and Church's Lambda-notation: part I, Communications of the ACM, v.8 n.2, p.89-101, Feb. 1965
	Henry F. Ledgard, A model for type checking: with an application to ALGOL 60, Communications of the ACM, v.15 n.11, p.956-966, Nov. 1972
	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
	John Slimick, Current systems implementation languages: One user's view, ACM SIGPLAN Notices, v.6 n.9, p.20-28, October 1971
	G. Salton, Information science in a Ph.D. computer science program, Communications of the ACM, v.12 n.2, p.111-117, Feb. 1969
	C. H. Lindsey, A history of ALGOL 68, ACM SIGPLAN Notices, v.28 n.3, p.97-132, March 1993
	Annika Aasa, Precedences for conctypes, Proceedings of the conference on Functional programming languages and computer architecture, p.83-91, June 09-11, 1993, Copenhagen, Denmark
	David Beech, A Structural View of PL/I, ACM Computing Surveys (CSUR), v.2 n.1, p.33-64, March 1970
	Ole-Johan Dahl , Kristen Nygaard, SIMULA: an ALGOL-based simulation language, Communications of the ACM, v.9 n.9, p.671-678, Sept. 1966
	P. C. Hutchison , K. Ethington, Program execution in the SYMBOL 2R computer, Proceedings of the ACM-IEEE symposium on High-level-language computer architecture, p.20-26, November 07-08, 1973, College Park, Maryland, United States
	Mary Shaw, Reduction of compilation costs through language contraction, Communications of the ACM, v.17 n.5, p.245-250, May 1974
	Benjamin C. Pierce, Type systems, Programming methodology, Springer-Verlag New York, Inc., New York, NY, 2003
	John B. Goodenough, The comparison of programming languages: A linguistic approach, Proceedings of the 1968 23rd ACM national conference, p.765-785, August 27-29, 1968
	Malcolm P. Atkinson , Ronald Morrison, Procedures as persistent data objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.539-559, Oct. 1985
	James N. Haag, Letters to the editor: more suggestions for ALGOL 60, Communications of the ACM, v.8 n.6, p.347, June 1965
	David L. Parnas, A language for describing the functions of synchronous systems, Communications of the ACM, v.9 n.2, p.72-76, Feb. 1966
	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
	George E. Forsythe , Niklaus Wirth, Automatic grading programs, Communications of the ACM, v.8 n.5, p.275-278, May 1965
	Roy Crole, Introduction, Algebraic and coalgebraic methods in the mathematics of program construction, Springer-Verlag New York, Inc., New York, NY, 2002
	Teodor Rus , Eric Van Wyk , Tom Halverson, Generating Model Checkers from Algebraic Specifications, Formal Methods in System Design, v.20 n.3, p.249-284, May 2002
	Earl Hunt , Mary Zosel, WRITEACOURSE: an educational programming language, Proceedings of the December 9-11, 1968, fall joint computer conference, part II, December 09-11, 1968, San Francisco, California
	Ruud van der Pol, Dipe-R: a knowledge representation language, Data & Knowledge Engineering, v.45 n.3, p.257-290, June 2003
	R. E. Brundage , A. P. Batson, The performance enhancement of descriptor-based virtual memory systems through the use of associative registers, ACM SIGARCH Computer Architecture News, v.3 n.4, p.85-90, December 1974
	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 S. Wile , C. M. Geschke, Efficient data accessing in the programming language Bliss, ACM SIGPLAN Notices, v.6 n.2, February 1971
	Ira J. Kalet , Robert S. Giansiracusa , Jonathan Jacky , Drora Avitan, A declarative implementation of the DICOM-3 network protocol, Journal of Biomedical Informatics, v.36 n.3, p.159-176, June 2003
	Robert Cartwright , Robert Hood , Philip Matthews, Paths: an abstract alternative to pointers, Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.14-27, January 26-28, 1981, Williamsburg, Virginia
	Lori A. Clarke , Jack C. Wileden , Alexander L. Wolf, Nesting in Ada programs is for the birds, ACM SIGPLAN Notices, v.15 n.11, November 1980
	Mario Schkolnick, Labelled precedence parsing, Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.33-40, October 01-03, 1973, Boston, Massachusetts
	J. F. H. Winkler, Some improvements of ISO-Pascal, ACM SIGPLAN Notices, v.19 n.9, p.49-62, September 1984
	Harold W. Lawson , David R. Doucette, A translation machine with automated top-down parsing, ACM SIGPLAN Notices, v.11 n.2, p.20-29, February 1976
	Henry F. Ledgard, Ten mini-languages in need of formal definition, ACM SIGPLAN Notices, v.5 n.4-5, April-May 1970
	Alan Creak, Programming lessons from days gone by: extreme design, ACM SIGPLAN Notices, v.38 n.12, December 2003
	R. A. Krutar, Restricted global variables in Algol 60, ACM SIGPLAN Notices, v.8 n.12, December 1973
	Terrence W. Pratt , Daniel P. Friedman, A language extension for graph processing and its formal semantics, Communications of the ACM, v.14 n.7, p.460-467, July 1971
	Walter H. Burkhardt, Letters to the editor: syntax and generalization of ALGOL 60, Communications of the ACM, v.8 n.5, p.261, May 1965
	Roger House, Comments on program specification and testing, Communications of the ACM, v.23 n.6, p.324-331, June 1980
	Edmund Melson Clarke, Jr., Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems, Journal of the ACM (JACM), v.26 n.1, p.129-147, Jan. 1979
	John W. Carr, III , Jerome Welland, A nonrecursive method of syntax specification, Communications of the ACM, v.9 n.4, p.267-269, April 1966
	David Gries, Use of transition matrices in compiling, Communications of the ACM, v.11 n.1, p.26-34, Jan. 1968
	Steven Fortune , Daniel Leivant , Michael O'Donnell, The Expressiveness of Simple and Second-Order Type Structures, Journal of the ACM (JACM), v.30 n.1, p.151-185, Jan. 1983
	B. Ramakrishna Rau, Levels of representation of programs and the architecture of universal host machines, ACM SIGMICRO Newsletter, v.9 n.4, p.67-79, Dec. 1978
	L. Petrone , C. E. Vandoni, Integer and signed constants in ALGOL, Communications of the ACM, v.7 n.12, p.734-735, Dec. 1964
	Daniel M. Berry, The equivalence of models of tasking, ACM SIGACT News
	Barry K. Rosen, Note on semantics and optimization, ACM SIGPLAN Notices, v.9 n.11, November 1974
	G. Germano , A. Maggiolo-Schettini, Loops in Algol 60 and in category theory, ACM SIGACT News, v.6 n.4, p.21-23, October-November 1974
	David A. Fisher, A survey of control structures in programming languages, ACM SIGPLAN Notices, v.7 n.11, November 1972
	David M. Harland , Hamish I. E. Gunn, Another look at enumerated types, ACM SIGPLAN Notices, v.17 n.7, July 1982
	Soklei Leong , S. Jodis , K. Sullivan , Oliver Jiang , P. A. D. de Maine, A Transportable Programming Language (TPL) System. II. The Bifunctional Compiler System, IEEE Transactions on Software Engineering, v.16 n.6, p.639-646, June 1990
	P. C. Hutchison , K. Ethington, Program execution in the symbol 2R computer, ACM SIGPLAN Notices, v.8 n.11, November 1973
	A. C. Fleck, On the impossibility of content exchange through the by-name parameter transmission mechanism, ACM SIGPLAN Notices, v.11 n.11, November 1976
	Thomas A. Standish, Extensibility in programming language design, ACM SIGPLAN Notices, v.10 n.7, July 1975
	L. Mohan , R. L. Kashyap, A Visual Query Language for Graphical Interaction with Schema-Intensive Databases, IEEE Transactions on Knowledge and Data Engineering, v.5 n.5, p.843-858, October 1993
	Pentti A. Honkanen, Setting the foundations of computer science in a business oriented program, ACM SIGCSE Bulletin, v.7 n.1, p.187-190, February 1975
	Cliff B. Jones, Operational semantics: concepts and their expression, Information Processing Letters, v.88 n.1-2, p.27-32, 17 October 2003
	Teodor Rus, A unified language processing methodology, Theoretical Computer Science, v.281 n.1-2, p.499-536, June 3 2002
	Frederic Richard , Henry F. Ledgard, A reminder for language designers, ACM SIGPLAN Notices, v.12 n.12, p.73-82, December 1977
	D. M. Berry , L. Chirica , J. B. Johnston , D. F. Martin , A. Sorkin, On the time required for retention, ACM SIGPLAN Notices, v.8 n.11, November 1973
	J. F. H. Winkler, Some improvements of ISO-Pascal, ACM SIGPLAN Notices, v.19 n.7, July 1984
	C. H. Lindsey, A history of ALGOL 68, History of programming languages---II, ACM Press, New York, NY, 1996
	Guy L. Steele , Richard P. Gabriel, The evolution of Lisp, History of programming languages---II, ACM Press, New York, NY, 1996
	Portia Isaacson, PS language definition, ACM SIGDA Newsletter, v.4 n.3, p.20-28, September 1974
	B. T. Denvir, On orthogonality in programming languages, ACM SIGPLAN Notices, v.14 n.7, p.18-30, July 1979
	John D. Woolley, Fortran: a comparison of the new proposed language (1976) to the old standard (1966), ACM SIGPLAN Notices, v.12 n.7, p.112-125, July 1977
	James B. Morris, Jr. , Mark B. Wells, Generalized data structures in Madcap VI, ACM SIGPLAN Notices, v.6 n.2, February 1971
	Peter Wegner, Data structure models for programming languages, ACM SIGPLAN Notices, v.6 n.2, February 1971
	John B. Johnston, The contour model of block structured processes, ACM SIGPLAN Notices, v.6 n.2, February 1971
	C. Pair, GRIN: The History of a Laboratory, IEEE Annals of the History of Computing, v.12 n.3, p.159-166, July 1990
	Daniel M. Berry, Introduction to Oregano, ACM SIGPLAN Notices, v.6 n.2, February 1971
	Clement McGowan , Peter Wegner, The equivalence of sequential and associate information structure models, ACM SIGPLAN Notices, v.6 n.2, February 1971
	Lori A. Clarke , Jack C. Wileden , Alexander L. Wolf, Nesting in Ada programs is for the birds, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, p.139-145, January 1980
	Asad Waqar Malik , Abdul Basit , Shoab A. Khan, HLA compliant network enabled distributed modeling and simulation infrastructure design, Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems, p.1-8, February 13-15, 2005, Salzburg, Austria
	S. Crespi-Reghizzi , M. A. Melkanoff , L. Lichten, The use of grammatical inference for designing programming languages, Communications of the ACM, v.16 n.2, p.83-90, Feb. 1973
	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
	Brian Ward, A Practical Scripting Environment for Mobile Devices, Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference, p.43-53, June 25-30, 2001
	Bent Bruun Kristensen , Ole Lehrmann Madsen , Birger Møller-Pedersen, The when, why and why not of the BETA programming language, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.10-1-10-57, June 09-10, 2007, San Diego, California
	H. Bekic, Some comments on the ACM I/O Proposal, ALGOL Bulletin
	L. Petrone , C. E. Vandoni, Integer and signed constants in ALGOL, ALGOL Bulletin
	D. E. Knuth, A list of the remaining trouble spots in ALGOL60, ALGOL Bulletin
	R. M. De Morgan , I. D. Hill , B. A. Wichmann, A commentary on the ALGOL 60 Revised Report, ALGOL Bulletin
	J. Nievergelt, Dummy Statements and Consecutive Semicolons in ALGOL 60, ALGOL Bulletin
	Otto Stolz, Anonymous routine-texts: an orthogonal approach to block objects, ACM SIGPLAN Notices, v.28 n.4, p.45-48, April 1993
	H. Abelson , R. K. Dybvig , C. T. Haynes , G. J. Rozas , N. I. Adams, IV , D. P. Friedman , E. Kohlbecker , G. L. Steele, Jr. , D. H. Bartley , R. Halstead , D. Oxley , G. J. Sussman , G. Brooks , C. Hanson , K. M. Pitman , M. Wand , William Clinger , Jonathan Rees, Revised report on the algorithmic language scheme, ACM SIGPLAN Lisp Pointers, v.IV n.3, p.1-55, July, 1991
	Paul W. Abrahams, Typographical extensions for programming languages: breaking out of the ASCII straitjacket, ACM SIGPLAN Notices, v.28 n.2, p.61-68, Feb. 1993
	Philip Machanick, The case for simplified languages, ACM SIGPLAN Notices, v.20 n.3, p.32-36, March 1985
	Per Brinch Hansen, Efficient parallel recursion, ACM SIGPLAN Notices, v.30 n.12, p.9-16, Dec. 1995
	J Rees , W Clinger, Revised report on the algorithmic language scheme, ACM SIGPLAN Notices, v.21 n.12, p.37-79, Dec. 1986
	Mary Shaw, Immigration course in computer science: teaching materials and 1972 schedule, ACM SIGCSE Bulletin, v.5 n.2, p.26-32, June 1973
	Daniel J. Salomon, Four Dimensions of programming-language independence, ACM SIGPLAN Notices, v.27 n.3, p.35-53, March 1992
	T. J. Parr , H. G. Dietz , W. E. Cohen, PCCTS reference manual: version 1.00, ACM SIGPLAN Notices, v.27 n.2, p.88-165, Feb. 1992
	H. Christiansen, A survey of adaptable grammars, ACM SIGPLAN Notices, v.25 n.11, p.35-44, Nov. 1990
	P. Grogono, Comments, assertions and pragmas, ACM SIGPLAN Notices, v.24 n.3, p.79-84, March 1989
	David A. Schmidt, Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering, Higher-Order and Symbolic Computation, v.13 n.1-2, p.89-101, April 2000
	Yoshihiko Futamura, Partial Evaluation of Computation Process—AnApproach to a Compiler-Compiler, Higher-Order and Symbolic Computation, v.12 n.4, p.381-391, December 1999
	H. Abelson , R. K. Dybvig , C. T. Haynes , G. J. Rozas , N. I. Adams Iv , D. P. Friedman , E. Kohlbecker , G. L. Steele, Jr. , D. H. Bartley , R. Halstead , D. Oxley , G. J. Sussman , G. Brooks , C. Hanson , K. M. Pitman , M. Wand, Revised Report on the Algorithmic Language Scheme, Higher-Order and Symbolic Computation, v.11 n.1, p.7-105, August 1998
	James L. Ryan , Richard L. Crandall , Marion C. Medwedeff, A conversational system for incremental compilation and execution in a time-sharing environment, Proceedings of the November 7-10, 1966, fall joint computer conference, November 07-10, 1966, San Francisco, California
	Malcolm E. White, A remote processing system for the APT language, Proceedings of the December 9-11, 1968, fall joint computer conference, part I, December 09-11, 1968, San Francisco, California
	R. M. Balzer, Dataless programming, Proceedings of the November 14-16, 1967, fall joint computer conference, November 14-16, 1967, Anaheim, California
	Thomas A. Standish, Extensibility in programming language design, Proceedings of the May 19-22, 1975, national computer conference and exposition, May 19-22, 1975, Anaheim, California
	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
	Anthony I. Wasserman, The design of 'idiot-proof' interactive programs, Proceedings of the June 4-8, 1973, national computer conference and exposition, June 04-08, 1973, New York, New York
	David Gries, A principled approach to teaching OO first, ACM SIGCSE Bulletin, v.40 n.1, March 2008
	Saul Rosen, Programming systems and languages: a historical survey, Proceedings of the April 21-23, 1964, spring joint computer conference, April 21-23, 1964, Washington, D.C.
	Richard P. Gabriel, Designed as designer, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Paul W. Abrahams , Jeffrey A. Barnett , Erwin Book , Donna Firth , Stanley L. Kameny , Clark Weissman , Lowell Hawkinson , Michael I. Levin , Robert A. Saunders, The LISP 2 programming language and system, Proceedings of the November 7-10, 1966, fall joint computer conference, November 07-10, 1966, San Francisco, California
	David L. Parnas , John A. Darringer, SODAS and a methodology for system design, Proceedings of the November 14-16, 1967, fall joint computer conference, November 14-16, 1967, Anaheim, California
	Kenneth Lock, Structuring programs for multiprogram time-sharing on-line applications, Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I, November 30-December 01, 1965, Las Vegas, Nevada
	H. Leroy, A macro: generator for ALGOL, Proceedings of the April 18-20, 1967, spring joint computer conference, April 18-20, 1967, Atlantic City, New Jersey
	Gordon Whitney, An extended BNF for specifying the syntax of declarations, Proceedings of the May 14-16, 1969, spring joint computer conference, May 14-16, 1969, Boston, Massachusetts
	Victor Schneider, Some syntactic methods for specifying extendible programming languages, Proceedings of the November 18-20, 1969, fall joint computer conference, November 18-20, 1969, Las Vegas, Nevada
	Juris Reinfelds , Niels Eskelson , Hermann Kopetz , Gerhard Kratky, AMTRAN: an interactive computing system, Proceedings of the May 5-7, 1970, spring joint computer conference, May 05-07, 1970, Atlantic City, New Jersey
	Joe K. Clema , R. L. Didday , M. Wessler, Preliminary thoughts about a UNIversal TEAching Machine (UNITEAM), Proceedings of the November 16-18, 1971, fall joint computer conference, November 16-18, 1971, Las Vegas, Nevada
	Michael J. Lutz, The design and implementation of a small scale stack processor system, Proceedings of the June 4-8, 1973, national computer conference and exposition, June 04-08, 1973, New York, New York
	Victor B. Schneider, A translation grammar for ALGOL 68, Proceedings of the May 5-7, 1970, spring joint computer conference, May 05-07, 1970, Atlantic City, New Jersey
	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
	Yingxu Wang, A Formal Syntax of Natural Languages and the Deductive Grammar, Fundamenta Informaticae, v.90 n.4, p.353-368, December 2009
	Gisele L. Pappa , Alex A. Freitas, Automatically evolving rule induction algorithms tailored to the prediction of postsynaptic activity in proteins, Intelligent Data Analysis, v.13 n.2, p.243-259, April 2009
	David K. Jefferson, An introduction to the heuristic programming system, Proceedings of the 1st international joint conference on Artificial intelligence, p.253-257, May 07-09, 1969, Washington, DC