John W. Backus

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

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1985
From Function Level Semantics to Program Transformation and Optimization.
Proceedings of the Mathematical Foundations of Software Development, 1985

1981
The Algebra of Functional Programs: Function Level Reasoning, Linear Equations, and Extended Definitions.
Proceedings of the Formalization of Programming Concepts, 1981

Function level programs as mathematical objects.
Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

1979
The History of FORTRAN I, II and III.
IEEE Ann. Hist. Comput., 1979

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

Transcript of presentation.
Proceedings of the History of Programming Languages, 1978

1973
Programming Language Semantics and Closed Applicative Languages.
Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973

1964
Fortran.
IEEE Trans. Electron. Comput., 1964

1963
Revised report on the algorithmic language ALGOL 60.
Comput. J., 1963

Revised report on the algorithm language ALGOL 60.
Commun. ACM, 1963

1960
Report on the algorithmic language ALGOL 60.
Commun. ACM, 1960

1959
The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference.
Proceedings of the Information Processing, 1959

1957
The FORTRAN automatic coding system.
Proceedings of the Papers presented at the 1957 western joint computer conference: Techniques for reliability, 1957

1954
The IBM 701 Speedcoding System
J. ACM, January, 1954


  Loading...