J. Backus

Publications37
h-index17
Citations5,279
Highly Influential Citations193
Claim Author Page
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • Z. Manna
  • 305 Publications • 23,131 Citations
  • R. Burstall
  • 71 Publications • 7,903 Citations
  • P. Sheridan
  • 7 Publications • 317 Citations
  • P. Wadler
  • 255 Publications • 21,682 Citations
  • Publications
  • Influence
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs
TLDR
A new class of computing systems uses the functional programming style both in its programming language and in its state transition rules; these systems have semantics loosely coupled to states—only one state transition occurs per major computation.
View on ACM
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference
This paper gives a summary of the syntax and interpretation rules of the proposed international algebraic language put forward by the Zurich ACM-GAMM Conference, followed by a formal , complete…
Can programming be liberated from the von Neumann style
TLDR
An alternative functional style of programming is founded on the use of combining forms for creating programs that deal with structured data, are often nonrepetitive and nonrecursive, are hierarchically constructed, do not name their arguments, and do not require the complex machinery of procedure declarations to become generally applicable.
View via Publisher
Report on the algorithmic language ALGOL 60
TLDR
It was decided to hold an international meeting in January 1960 for improving the ALGOL language and preparing a final report, and seven representatives were selected to attend the January 1960 international conference.
View on ACM
Revised report on the algorithm language ALGOL 60
a survey of the basic coustituents arid fcuturcs of the language is given, and the formal notation, by which the syntactic structure is defined, is esplaincd. The sccnnd chapter lists all the basic…
View on ACM
The History of FORTRAN I, II and III
  • J. Backus
  • Computer Science
    Annals of the History of Computing
  • 1 August 1978
This article discusses attitudes about "automatic programming," the economics of programming, and existing programming systems, all in the early 1950s. It describes the formation of the FORTRAN…
View on ACM
Report on the algorithmic language ALGOL 60
View on Springer
Programming language semantics and closed applicative languages
This paper proposes axioms to define a sequence of language-classes; the most general is that of "programming language", the most restricted has some simple and attractive properties. Here "language"…
View on ACM
The FORTRAN automatic coding system
TLDR
The FORTRAN project was begun in the summer of 1954 to enable the programmer to specify a numerical procedure using a concise language like that of mathematics and obtain automatically from this specification an efficient 704 program to carry out the procedure.
View on ACM
The Fortran Automatic Coding System for the IBM 704 EDPM
...
...