ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
EULER: a generalization of ALGOL, and its formal definition: Part II
Full text PdfPdf (1.20 MB)
Source
Communications of the ACM archive
Volume 9 ,  Issue 2  (February 1966) table of contents
Pages: 89 - 99  
Year of Publication: 1966
ISSN:0001-0782
Authors
Niklaus Wirth  Stanford Univ., Stanford, CA
Helmut Weber  Stanford Univ., Stanford, CA
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 3,   Downloads (12 Months): 38,   Citation Count: 42
Additional Information:

abstract   cited by   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/365170.365202
What is a DOI?

ABSTRACT

In this section the algorithmic language EULER is described first informally and then formally by its syntax and semantics. An attempt has been made to generalize and extend some of the concepts of ALGOL, thus creating a language which is simpler and yet more flexible than ALGOL 60. A second objective in developing this language was to show that a useful programming language which can be processed with reasonable efficiency can be defined in rigorous formality.


CITED BY  42
M. D. Mickunas , R. L. Lancaster , V. B. Schneider, Transforming LR(k) Grammars to LR(1), SLR(1), and (1,1) Bounded Right-Context Grammars, Journal of the ACM (JACM), v.23 n.3, p.511-533, July 1976
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
Kou-Chung Tai, Noncanonical SLR(1) Grammars, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.2, p.295-320, Oct. 1979
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
James N. Gray , Michael A. Harrison, Canonical Precedence Schemes, Journal of the ACM (JACM), v.20 n.2, p.214-234, April 1973
Douglas T. Ross, The AED approach to generalized computer-aided design, Proceedings of the 1967 22nd national conference, p.367-385, January 1967, Washington, D.C., United States
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
A. V. Aho , S. C. Johnson, LR Parsing, ACM Computing Surveys (CSUR), v.6 n.2, p.99-124, June 1974
M. Dennis Mickunas , John A. Modry, Automatic error recovery for LR parsers, Communications of the ACM, v.21 n.6, p.459-465, June 1978
Glen E. Newton , J. Denbigh Starkey, Data abstraction in SESPOOL, Proceedings of the 1977 annual conference, p.490-495, January 1977
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
Susan L. Graham , Steven P. Rhodes, Practical syntactic error recovery, Communications of the ACM, v.18 n.11, p.639-650, Nov. 1975
Gordon Lyon, Syntax-directed least-errors analysis for context-free languages: a practical approach, Communications of the ACM, v.17 n.1, p.3-14, Jan. 1974
I. H. Sudborough, On the Tape Complexity of Deterministic Context-Free Languages, Journal of the ACM (JACM), v.25 n.3, p.405-414, July 1978
Peter Henderson, Derived semantics for some programming language constructs, Communications of the ACM, v.15 n.11, p.967-973, Nov. 1972
Jacques Loeck, An algorithm for the construction of bounded-context parsers, Communications of the ACM, v.13 n.5, p.297-307, May 1970
M. D. Mickunas , V. B. Schneider, A parser-generating system for constructing compressed compilers, Communications of the ACM, v.16 n.11, p.669-676, Nov. 1973
G. A. Mapp, Proposed library of programs for personnel and related work, Communications of the ACM, v.11 n.9, p.593, Sept. 1968
L. M. Chirica , D. F. Martin , T. A. Dreisbach , J. G. Peetz , A. Sorkin, Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems, Proceedings of the ACM-IEEE symposium on High-level-language computer architecture, p.141-151, November 07-08, 1973, College Park, Maryland, United States
Eberhard Bertsch, The storage requirement in precedence parsing, Communications of the ACM, v.20 n.3, p.192-194, March 1977
G. David Ripley, A simple recovery-only procedure for simple precedence parsers, Communications of the ACM, v.21 n.11, p.928-930, Nov. 1978
James R. Bell, A new method for determining linear precedence functions for precedence grammars, Communications of the ACM, v.12 n.10, p.567-569, Oct. 1969
Jan V. Garwick, Programming Languages: GPL, a truly general purpose language, Communications of the ACM, v.11 n.9, p.634-638, Sept. 1968
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
T. I. Fenner , M. A. Jenkins , R. D. Tennent, QUEST: the design of a very high level, pedagogic programming language, ACM SIGPLAN Notices, v.8 n.2, p.3-27, February 1973
Laurian M. Chirica , David F. Martin, Toward compiler implementation correctness proofs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.2, p.185-214, April 1986
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
James B. Morris , Mark B. Wells, The specification of program flow in Madcap 6, ACM SIGPLAN Notices, v.7 n.11, November 1972
L. M. Chirica , T. A. Dreisbach , D. F. Martin , J. G. Peetz , A. Sorkin, Two parallel EULER run time models: the dangling reference, impostor environment, and label problems, ACM SIGPLAN Notices, v.8 n.11, November 1973
C. H. Lindsey, A history of ALGOL 68, History of programming languages---II, ACM Press, New York, NY, 1996
Peter Wegner, Data structure models for programming languages, ACM SIGPLAN Notices, v.6 n.2, February 1971
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
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
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
John J. Donovan , Henry F. Ledgard, A formal system for the specification of the syntax and translation of computer languages, Proceedings of the November 14-16, 1967, fall joint computer conference, November 14-16, 1967, Anaheim, California
Victor Schneider, A system for designing fast programming language translators, Proceedings of the May 14-16, 1969, spring joint computer conference, May 14-16, 1969, Boston, Massachusetts
Alfonso F. Cardenas , Walter J. Karplus, Design and organization of a translator for a partial differential equation language, Proceedings of the May 5-7, 1970, spring joint computer conference, May 05-07, 1970, Atlantic City, New Jersey
Clay McFarland, A language-oriented computer design, Proceedings of the November 17-19, 1970, fall joint computer conference, November 17-19, 1970, Houston, Texas
T. E. Cheatham, Jr. , A. Fischer , P. Jorrand, On the basis for ELF: an extensible language facility, Proceedings of the December 9-11, 1968, fall joint computer conference, part II, December 09-11, 1968, San Francisco, California
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
Mark B. Wells, Implementation and application of a function data type, Proceedings of the June 13-16, 1977, national computer conference, June 13-16, 1977, Dallas, Texas
Collaborative Colleagues:
Niklaus Wirth: colleagues
Helmut Weber: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player