The Mechanical Evaluation of Expressions

@article{Landin1964TheME,
  title={The Mechanical Evaluation of Expressions},
  author={P. Landin},
  journal={Comput. J.},
  year={1964},
  volume={6},
  pages={308-320}
}
  • P. Landin
  • Published 1964
  • Computer Science
  • Comput. J.
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 X-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… Expand
1,023 Citations
Programming language semantics and closed applicative languages
  • 54
Correspondence between ALGOL 60 and Church's Lambda-notation
  • 365
  • PDF
The denotational semantics of programming languages
  • 296
  • PDF
Programming Languages and Computers: A Unified Metatheory
  • 14
Programming Languages as Technical Artifacts
  • 9
The next 700 programming languages
  • 673
  • PDF
A Data Definition Facility for Programming Languages
  • T. Standish
  • Computer Science
  • Outstanding Dissertations in the Computer Sciences
  • 1967
  • 33
  • Highly Influenced
  • PDF
A presentation of the Curry-Howard Correspondance
  • 1
Logic and Computers
  • 23
Programming Languages as Mathematical Theories
  • 2
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 11 REFERENCES
LISP 1.5 Programmer's Manual
  • 630
  • PDF
THE ELEMENTS OF MATHEMATICAL LOGIC
  • 96
Word and Object
  • 6,370
The calculi of lambda-conversion
  • 1,110
  • PDF
An ALGOL60 Translator for the XI
  • Automatic Programming Bulletin
  • 1962
Substitution Processes
  • Substitution Processes
  • 1962
The Elements of Mathematical Logic
  • 96
This method of "evaluating" a A-expression is to be contrasted with "literal substitution" such as is used in Church's normalization process, in Gilmore's machine
  • This method of "evaluating" a A-expression is to be contrasted with "literal substitution" such as is used in Church's normalization process, in Gilmore's machine
...
1
2
...