In computer science, **denotational semantics** (initially known as **mathematical semantics** or **Scott–Strachey semantics**) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called *denotations*) which describe the meanings of expressions from the languages. Other approaches to providing a formal semantics of programming languages include axiomatic semantics and operational semantics.

Broadly speaking, denotational semantics is concerned with finding mathematical objects called domains that represent what programs do. For example, programs (or program phrases) might be represented by partial functions, or by Actor event diagram scenarios, or by games between the environment and the system: these are all general examples of domains.

An important tenet of denotational semantics is that *semantics should be compositional*: the denotation of a program phrase should be built out of the denotations of its subphrases.

Read more about Denotational Semantics: Historical Development, Abstraction, Compositionality, Semantics Versus Implementation, Connections To Other Areas of Computer Science

### Other articles related to "denotational semantics, denotational, semantic, semantics":

**Denotational Semantics**

... The three major

**denotational**models of CSP are the traces model, the stable failures model, and the failures/divergences model ...

**Semantic**mappings from process expressions to each of these three models provide the

**denotational semantics**for CSP ... The

**semantics**of a process in the failures/divergences model is a pair where is defined as the set of all traces that can lead to divergent behavior and ...

**Denotational Semantics**- Connections To Other Areas of Computer Science

... Some work in

**denotational semantics**has interpreted types as domains in the sense of domain theory which can be seen as a branch of model theory, leading to connections with type theory and category ... Monads were introduced to

**denotational semantics**as a way of organising

**semantics**, and these ideas have had a big impact in functional programming (see monads in functional programming) ...

**Denotational Semantics**

... the first satisfactory mathematical

**denotational**theory of the Actor model using domain theory in his dissertation in 1981 ... His

**semantics**contrasted the unbounded nondeterminism of the Actor model with the bounded nondeterminism of CSP and Concurrent Processes (see

**denotational semantics**) ... Roscoe has developed a

**denotational semantics**with unbounded nondeterminism for a subsequent version of Communicating Sequential Processes Hoare ...

**Denotational Semantics**

... In

**denotational semantics**an object function f A → B can be modelled as a mathematical function f A ∪ {⊥} → B ∪ {⊥} where ⊥ (bottom ...