By Letter: Non-alphabet | 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
  Email this page to a friend


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


Web Standards & Support:

Link to and support eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions