The DICT Development Group

Search for:
Search type:

Database copyright information
Server information

1 definition found
 for denotational semantics
From The Free On-line Dictionary of Computing (30 December 2018) :

  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.

Contact=webmaster@dict.org Specification=RFC 2229