semantics
<theory> The meaning of a string in some language, as opposed to syntax
which describes how symbols may be combined independent of their meaning.
The semantics of a programming language is a function from programs to answers.
A program is a closed term and, in practical languages, an answer is a member of
the syntactic category of values. The two main kinds are denotational semantics
and operational semantics.
(1995-06-21)
Nearby terms:
SEM « semantic gap « semantic network « semantics
» semaphore » semi » Semi-Automatic Ground
Environment
|