Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

semantics

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

©2018 Martin Webb