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.



< Previous Terms Terms Containing semantics Next Terms >
self-reference
selvage
SEM
semantic gap
semantic network
abduction
abstract interpretation
ACT ONE
ALEPH
axiomatic semantics
semaphore
semi
Semi-Automatic Ground Environment
semicolon
semiconductor