Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
E557585
"Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs" is a landmark 1977 paper that introduced and advocated for functional programming as an alternative to traditional von Neumann architectures, laying theoretical foundations for modern functional languages.
Statements (43)
| Predicate | Object |
|---|---|
| instanceOf | scientific paper ⓘ |
| associatedWith | John Backus Turing Award NERFINISHED ⓘ |
| author | John Backus NERFINISHED ⓘ |
| centralConcept |
composition of functions
ⓘ
elimination of mutable state ⓘ equational reasoning about programs ⓘ programs as mathematical objects ⓘ |
| criticizes | von Neumann style of programming ⓘ |
| doi | 10.1145/359576.359579 ⓘ |
| endPage | 641 ⓘ |
| field |
computer science
ⓘ
functional programming ⓘ programming languages ⓘ |
| hasAbbreviation | Backus 1978 Turing lecture NERFINISHED ⓘ |
| historicalSignificance |
foundational work in algebra of programs
ⓘ
landmark paper in functional programming ⓘ |
| influenced |
FP programming language
NERFINISHED
ⓘ
Haskell NERFINISHED ⓘ ML programming language NERFINISHED ⓘ modern functional programming languages ⓘ |
| issue | 8 ⓘ |
| language | English ⓘ |
| length | 29 pages ⓘ |
| originalPresentationYear | 1977 ⓘ |
| presentedAt | 1977 ACM Turing Award lecture NERFINISHED ⓘ |
| proposes | functional style of programming ⓘ |
| publicationYear | 1978 ⓘ |
| publishedIn | Communications of the ACM NERFINISHED ⓘ |
| publisher | Association for Computing Machinery NERFINISHED ⓘ |
| relatedConcept |
applicative programming
ⓘ
dataflow programming ⓘ |
| relatedWork | FP: A Functional Programming System NERFINISHED ⓘ |
| startPage | 613 ⓘ |
| targetAudience |
computer science theorists
ⓘ
programming language researchers ⓘ software engineers ⓘ |
| topic |
algebra of programs
ⓘ
functional programming ⓘ higher-order functions ⓘ program transformation ⓘ programming paradigms ⓘ von Neumann architecture NERFINISHED ⓘ |
| volume | 21 ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
John Backus
→
wrote
→
Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
ⓘ