Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
- John Backus
- 1978
- CACM
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
169 results at CACM
Economical Encoding of Commas Between Strings
- S. Even
- M. Rodeh
- 1978
- CACM
Systematic Recursion Removal
- Marc Auslander
- H.R. Strong
- 1978
- CACM
Covering Edges by Cliques with Regard to Keyword Conflicts and Intersection Graphs
- L.T. Kou
- Larry Stockmeyer
- et al.
- 1978
- CACM
A Case Study of a New Code Generation Technique for Compilers
- J. Lawrence Carter
- 1977
- CACM
An Encoding Method for Multifield Sorting and Indexing
- Michael W. Blasgen
- Richard G. Casey
- et al.
- 1977
- CACM
A Very High Level Programming Language for Data Processing Applications
- Michael Hammer
- W. Gerry Howe
- et al.
- 1977
- CACM
An Algorithm for Reduction of Operator Strength
- John Cocke
- Ken Kennedy
- 1977
- CACM
High-level data flow analysis
- Barry K. Rosen
- 1977
- CACM
The System for Business Automation (SBA): Programming Language
- Moshé M. Zloof
- S. Peter de Jong
- 1977
- CACM