You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL