VDict - Definition of semantics

Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )

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 denotationalsemantics and operational semantics.

(1995-06-21)

Related search result for "semantics"

Words pronounced/spelled similarly to "semantics":
Symantec semantics
Words contain "semantics":
axiomatic semantics denotational semantics Denotational Semantics Language Document Style Semantics and Specification Language operational semantics semantics standard semantics
Words contain "semantics" in its definition in Computing (FOLDOC) dictionary:
semantics axiomatic semantics denotational semantics Document Style Semantics and Specification Language operational semantics Computational Adequacy Theorem TL/I standard semantics Denotational Semantics Language FSL more...