Toward compiler implementation correctness proofs
ACM Transactions on Programming Languages and Systems (TOPLAS)
HOPL-II The second ACM SIGPLAN conference on History of programming languages
An Algorithmic Semantics for ALGOL 60 Identifier Denotation
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Transforming LR(k) Grammars to LR(1), SLR(1), and (1,1) Bounded Right-Context Grammars
Journal of the ACM (JACM)
On the Tape Complexity of Deterministic Context-Free Languages
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The storage requirement in precedence parsing
Communications of the ACM
Automatic error recovery for LR parsers
Communications of the ACM
A simple recovery-only procedure for simple precedence parsers
Communications of the ACM
Syntax-directed least-errors analysis for context-free languages: a practical approach
Communications of the ACM
Practical syntactic error recovery
Communications of the ACM
Derived semantics for some programming language constructs
Communications of the ACM
An algorithm for the construction of bounded-context parsers
Communications of the ACM
GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
Communications of the ACM
A parser-generating system for constructing compressed compilers
Communications of the ACM
Communications of the ACM
A new method for determining linear precedence functions for precedence grammars
Communications of the ACM
Proposed library of programs for personnel and related work
Communications of the ACM
Letters to the editor: On computer appreciation in the undergraduate curriculum
Communications of the ACM
Programming Languages: GPL, a truly general purpose language
Communications of the ACM
A final solution to the Dangling else of ALGOL 60 and related languages
Communications of the ACM
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Procedure linkage optimization working paper
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems
HLLCA '73 Proceedings of the ACM-IEEE symposium on High-level-language computer architecture
The AED approach to generalized computer-aided design
ACM '67 Proceedings of the 1967 22nd national conference
ACM '77 Proceedings of the 1977 annual conference
Two parallel EULER run time models: the dangling reference, impostor environment, and label problems
HLLCA '73 Proceedings of a symposium on High-level-language computer architecture
QUEST: the design of a very high level, pedagogic programming language
ACM SIGPLAN Notices
The specification of program flow in Madcap 6
ACM SIGPLAN Notices - Special issue on control structures in programming languages
History of programming languages---II
Data structure models for programming languages
ACM SIGPLAN Notices
A formal system for the specification of the syntax and translation of computer languages
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
The XPL compiler generator system
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
On the basis for ELF: an extensible language facility
AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II
A system for designing fast programming language translators
AFIPS '69 (Spring) Proceedings of the May 14-16, 1969, spring joint computer conference
A translation grammar for ALGOL 68
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
Design and organization of a translator for a partial differential equation language
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
A language-oriented computer design
AFIPS '70 (Fall) Proceedings of the November 17-19, 1970, fall joint computer conference
Implementation and application of a function data type
AFIPS '77 Proceedings of the June 13-16, 1977, national computer conference
Hi-index | 48.45 |
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.