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.
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
©2018 Martin Webb