The Mechanical Evaluation of Expressions
The work
| Authors | P. J. Landin |
|---|---|
| Type | article |
| Year | 1964 |
| Citekey | landin1964mechanical |
Where it appeared
| Published in | The Computer Journal |
|---|---|
| Publisher | Oxford University Press |
| Volume | 6 |
| Issue | 4 |
| Pages | 308--320 |
Identifiers
| DOI | 10.1093/comjnl/6.4.308 |
|---|
Abstract
This paper is a contribution to the “theory” of the activity of using computers. It shows how some forms of expression used in current programming languages can be modelled in Church’s λ-notation, and then describes a way of “interpreting” such expressions. This suggests a method, of analyzing the things computer users write, that applies to many different problem orientations and to different phases of the activity of using a computer. Also a technique is introduced by which the various composite information structures involved can be formally characterized in their essentials, without commitment to specific written or other representations.
A copy is held
pdf, 1.2 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | import via bibtex |
|---|---|
| Added | 2026-08-09 00:00 UTC |
| Approved by | a person 2026-08-22 13:13 UTC |
Cite it as
@article{landin1964mechanical,
title = {The Mechanical Evaluation of Expressions},
author = {P. J. Landin},
year = {1964},
journal = {The Computer Journal},
volume = {6},
number = {4},
pages = {308--320},
publisher = {Oxford University Press},
doi = {10.1093/comjnl/6.4.308},
}
This record lives at https://refs.drheap.org/landin1964mechanical/ and will keep doing so.