| 
|
Quote: the environment of an applicative expression defines values for free variables
Topic:
evaluation in an environment
Topic:
running programs in a workspace or environment
Topic:
environment variables
Topic:
formal methods and languages
Group:
formalism
Topic:
function application
Quotation Skeleton
More precisely, an [Applicative Expression] AE X has a … for each identifier that is free in X. … We shall describe below a mechanical process for … [p. 320] The formalization of a machine for evaluating … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: algorithm for evaluating an applicative expression relative to an environment; first formalization of expression evaluation
Topic: evaluation in an environment (34 items)
Topic: running programs in a workspace or environment (14 items)
Topic: environment variables (5 items)
Topic: formal methods and languages (53 items)
Group: formalism (9 topics, 473 quotes)
Topic: function application (18 items)