denotational semantics


Also found in: Wikipedia.

denotational semantics

(theory)
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.
References in periodicals archive ?
Schellekens: The Smyth completion: a common foundation for denotational semantics and complexity analysis, Electronic Notes Theor.
Subsequent chapters investigate topics including cognitive properties of human factors and error models in engineering and socialization, user-centered interactive data mining, denotational semantics of real-time process algebra, and unifying rough set analysis and formal concept analysis based on a logic approach to granular computing.