Ebook: Can Programming Be Liberated from the von Neumann Style?

A Functional Style and Its Algebra of Programs.Статья Джона Бэкуса из IBM Research Lab., опубликованная в сборнике ACM Turing Award Lecture 1977.Содержание:Introduction
Conventional Programming Languages: Fat and Flabby
Models of Computing Systems
Von Neumann Computers
Von Neumann Languages
Comparison of von Neumann and Functional Programs
Language Frameworks versus Changeable Parts
Changeable Parts and Combining Forms
APL versus Word-at-a-Time Programming
Von Neumann Languages Lack Useful Mathematical Properties
What Are the Alternatives to von Neumann Languages?
Functional Programming Systems (FP Systems
The Algebra of Programs for FP Systems
Formal Systems for Functional Programming (FFP Systems)
Applicative State Transition Systems (AST Systems)
Remarks About Computer Design
Summary
References