Denotational Semantics Definition/Meaning:
An approach to the semantics of programming languages in which the meaning of
a program in a particular language is given by a valuation function that associates with each
well-formed syntactic construct of the language an abstract value, e.g. a
number, truth value, or function. These valuation functions are compositional or
recursive in nature: the value of a program is specified as a function of the
values denoted by its syntactic subcomponents. A great deal of work in this area
is currently directed at the semantics of parallel programs. This approach was
initiated and developed by Christopher Strachey and Dana Scott.
|