Lists Home |
Date Index |
Ok, so let me muddy the waters again. From the Free Online Dictionary of Computing
The standard interpretation of a term in some language yields the term's standard denotational semantics, i.e. its "meaning". This is usually given by a semantic function which maps a term in the abstract syntax to a point in some domain. The domain is the interpretation of the term's type. The semantic function also takes an environment - a function which maps the free variables of the term to their meaning. We say that a domain point "denotes", or "is the denotation of", a term. A non-standard semantics results from some other interpretation, e.g. an abstract interpretation."
From: Jeff Lowery [mailto:email@example.com]
I just read Pete's posting after writing up my own (cf. "A conceptual
excursion"). I sense a convergence of some sort occurring....
On xml-dev???!??!!!? Can't be.