Can programming be liberated from the von Neumann style?
- 1 August 1978
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 21 (8), 613-641
- https://doi.org/10.1145/359576.359579
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A lazy evaluatorPublished by Association for Computing Machinery (ACM) ,1976
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Programming language semantics and closed applicative languagesPublished by Association for Computing Machinery (ACM) ,1973
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference conceptCommunications of the ACM, 1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964
- Recursive functions of symbolic expressions and their computation by machine, Part ICommunications of the ACM, 1960