semantics se·man·tics (sĭ-mān'tĭks)
n.
The study or science of meaning in language forms.
The study of the relationships between various signs and symbols and what they represent.
The scientific or philosophical study of the relations of words and their meanings.
Note: Semantics is commonly used to refer to a trivial point or distinction that revolves around mere words rather than significant issues: “To argue whether the medication killed the patient or contributed to her death is to argue over 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)