Jump to user comments
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
(1995-06-21)