denotational semantics

(redirected from Full completeness)

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.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in ?

References in classic literature ?

Micawber was seated at the table, filling up the stamps with an expression of perfect joy, which only that congenial employment, or the making of punch, could impart in full completeness to his shining face.

View in context

"I focus on getting at least one type of a coin and add to the full completeness of a set," said Dr.