The Mechanical Evaluation of Expressions. Landin, P. J. The Computer Journal, 6(4):308–320, 1964. ZSCC: 0001262
The Mechanical Evaluation of Expressions [link]Paper  doi  abstract   bibtex   
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 \lambda\-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.
@article{landin_mechanical_1964,
	title = {The {Mechanical} {Evaluation} of {Expressions}},
	volume = {6},
	issn = {0010-4620},
	url = {http://comjnl.oxfordjournals.org/content/6/4/308.short},
	doi = {10/gf8t6w},
	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 \{lambda\}-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.},
	number = {4},
	journal = {The Computer Journal},
	author = {Landin, P. J.},
	year = {1964},
	note = {ZSCC: 0001262},
	pages = {308--320}
}
Downloads: 0