Basic Structure of Denotational Definitions Observations
Global data structures are modelled as arguments to valuation functions. No ``global variables'' for functions e.g. memory cell of S
Meaning of a syntactic construct can be a function e.g. S's functionality states that the meaning of an expression sequence is a function from a memory cell to a list of numbers.