The Mechanical Evaluation of Expressions. Landin, P. J. The Computer Journal, 6(4):308–320, 1964. ZSCC: 0001262
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
{"_id":"bb7EJq7br9duS4jRA","bibbaseid":"landin-themechanicalevaluationofexpressions-1964","authorIDs":[],"author_short":["Landin, P. J."],"bibdata":{"bibtype":"article","type":"article","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":[{"propositions":[],"lastnames":["Landin"],"firstnames":["P.","J."],"suffixes":[]}],"year":"1964","note":"ZSCC: 0001262","pages":"308–320","bibtex":"@article{landin_mechanical_1964,\n\ttitle = {The {Mechanical} {Evaluation} of {Expressions}},\n\tvolume = {6},\n\tissn = {0010-4620},\n\turl = {http://comjnl.oxfordjournals.org/content/6/4/308.short},\n\tdoi = {10/gf8t6w},\n\tabstract = {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.},\n\tnumber = {4},\n\tjournal = {The Computer Journal},\n\tauthor = {Landin, P. J.},\n\tyear = {1964},\n\tnote = {ZSCC: 0001262},\n\tpages = {308--320}\n}\n\n","author_short":["Landin, P. J."],"key":"landin_mechanical_1964","id":"landin_mechanical_1964","bibbaseid":"landin-themechanicalevaluationofexpressions-1964","role":"author","urls":{"Paper":"http://comjnl.oxfordjournals.org/content/6/4/308.short"},"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2020-05-31T17:07:22.805Z","downloads":0,"keywords":[],"search_terms":["mechanical","evaluation","expressions","landin"],"title":"The Mechanical Evaluation of Expressions","year":1964,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}