John W. Backus

According to our database, John W. Backus authored at least 14 papers between 1954 and 1985.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

1985

From Function Level Semantics to Program Transformation and Optimization.

John W. Backus

Proceedings of the Mathematical Foundations of Software Development, 1985

1981

The Algebra of Functional Programs: Function Level Reasoning, Linear Equations, and Extended Definitions.

John W. Backus

Proceedings of the Formalization of Programming Concepts, 1981

Function level programs as mathematical objects.

John W. Backus

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

1979

The History of FORTRAN I, II and III.

John W. Backus

IEEE Ann. Hist. Comput., 1979

1978

Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs.

John W. Backus

Commun. ACM, 1978

Transcript of presentation.

John W. Backus

Proceedings of the History of Programming Languages, 1978

1973

Programming Language Semantics and Closed Applicative Languages.

John W. Backus

Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973

1964

Fortran.

John Warner Backus, William P. Heising

IEEE Trans. Electron. Comput., 1964

1963

Revised report on the algorithmic language ALGOL 60.

John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Peter Naur, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger

Comput. J., 1963

Revised report on the algorithm language ALGOL 60.

John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger, Peter Naur

Commun. ACM, 1963

1960

Report on the algorithmic language ALGOL 60.

John W. Backus, Friedrich L. Bauer, Julien Green, C. Katz, John McCarthy, Alan J. Perlis, Heinz Rutishauser, Klaus Samelson, Bernard Vauquois, Joseph Henry Wegstein, Adriaan van Wijngaarden, Michael Woodger

Commun. ACM, 1960

1959

The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference.

John W. Backus

Proceedings of the Information Processing, 1959

1957

The FORTRAN automatic coding system.

John W. Backus, Robert J. Beeber, Sheldon Best, Richard Goldberg, Lois M. Haibt, Harlan L. Herrick, Robert A. Nelson, David Sayre, Peter B. Sheridan, H. Stern, Irving Ziller, Robert A. Hughes, R. Nutt

Proceedings of the Papers presented at the 1957 western joint computer conference: Techniques for reliability, 1957

1954

The IBM 701 Speedcoding System

John W. Backus

J. ACM, January, 1954