Word:

denotational semantics

(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
Definitions Index: # 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

About this site and copyright information - Online Dictionary Home - Privacy Policy