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.

< Previous Terms	Terms Containing denotational semantics	Next Terms >
Demon Internet Ltd. DeMorgan's theorem demo version Denis Howe Dennis Ritchie	axiomatic semantics Computational Adequacy Theorem domain theory DSL least fixed point	Denotational Semantics Language Department of Defense Department of Defense Network depeditate dependability