Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

@article{Backus1978CanPB,
  title={Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs},
  author={J. Backus},
  journal={Commun. ACM},
  year={1978},
  volume={21},
  pages={613-641}
}
  • J. Backus
  • Published 1978
  • Computer Science
  • Commun. ACM
Conventional programming languages are growing ever more enormous, but not stronger. Inherent defects at the most basic level cause them to be both fat and weak: their primitive word-at-a-time style of programming inherited from their common ancestor—the von Neumann computer, their close coupling of semantics to state transitions, their division of programming into a world of expressions and a world of statements, their inability to effectively use powerful combining forms for building new… Expand
Can programming be liberated from the two-level style: multi-level programming with deepjava
Subtext: uncovering the simplicity of programming
Making the point-free calculus less pointless
Point-free program calculation
AI and the Origins of the Functional Programming Language Style
Automatic transformation of series expressions into loops
Why is It Difficult to Program in von Neumann Languages
...
1
2
3
4
5
...

References

A programming language
  • K. Iverson
  • Computer Science
  • AIEE-IRE '62 (Spring)
  • 1962