Free On-line Dictionary of Computing

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.

Last updated: 1995年06月21日

Nearby terms:

semantic gapsemantic networksemantics semaphoresemiSemi-Automatic Ground Environment

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Loading

Quantcast

AltStyle によって変換されたページ (->オリジナル) /