There are two basic premises which underlie the development of ELF. The first of these is that there exists a need for a wide variety of programming languages; indeed, our progress in the understanding and application of computers will demand an ever widening variety of languages. There are, in fact, "scientific" problems, "data processing" problems, "information retrieval" problems, "symbol manipulation" problems, "text handling" problems, and so on. From the point of view of a computer user who is working in one or more of these areas there are certain units of data with which he would like to transact and there are certain unit operations which he would like to perform on these data. The user will be able to make effective use of a computer only when the language facilities provided allow him to work toward a desired result in terms of data and operations which he chooses as being a natural representation of his conception of the problem solution. That is, it is not enough to have a language facility which is formally sufficient to allow the user to solve his problem; indeed, most available programming languages are, to within certain size limitations, universal languages. Rather, the facility must be natural for him to use in the solution of his particular problem.
[1]
Niklaus Wirth,et al.
EULER: a generalization of ALGOL, and its formal definition: Part II
,
1965,
CACM.
[2]
Robert W. Floyd,et al.
Syntactic Analysis and Operator Precedence
,
1963,
JACM.
[3]
Thomas E. Cheatham,et al.
The introduction of definitional facilities into higher level programming languages
,
1966,
AFIPS '66 (Fall).
[4]
G. F. Leonard,et al.
An environment for an operating system
,
1964,
ACM National Conference.
[5]
Edsger W. Dijkstra,et al.
Letters to the editor: go to statement considered harmful
,
1968,
CACM.
[6]
Stephen Warshall,et al.
A general-purpose table-driven compiler
,
1964,
AFIPS '64 (Spring).
[7]
Bernard A. Galler,et al.
A proposal for definitions in ALGOL
,
1967,
CACM.
[8]
P. J. Landin,et al.
The next 700 programming languages
,
1966,
CACM.
[9]
Alan J. Perlis,et al.
The Synthesis of Algorithmic Systems
,
1967,
JACM.