(theory) | denotational semantics - A technique for describing the meaning of programs in
terms of mathematical functions on programs and program
components. Programs are translated into functions about
which properties can be proved using the standard mathematical
theory of functions, and especially domain theory.Compare axiomatic semantics, operational semantics, standard semantics. |

Browse

Dennstaedtia punctilobula

Dennstaedtiaceae

Denominable

Denominate

denominate number

Denomination

Denominational

Denominationalism

Denominationalist

Denominationally

Denominative

Denominatively

Denominator

Denotable

Denotate

Denotation

**-- denotational semantics --**

Denotational Semantics Language

Denotative

denotatum

Denote

Denotement

Denotive

Denouement

Denounce

Denouncement

Denouncer

Dense

dense blazing star

dense-leaved elodea

Densely

Denseness

densification

Dennstaedtiaceae

Denominable

Denominate

denominate number

Denomination

Denominational

Denominationalism

Denominationalist

Denominationally

Denominative

Denominatively

Denominator

Denotable

Denotate

Denotation

Denotational Semantics Language

Denotative

denotatum

Denote

Denotement

Denotive

Denouement

Denounce

Denouncement

Denouncer

Dense

dense blazing star

dense-leaved elodea

Densely

Denseness

densification