denotational semantics

(redirected from Full abstraction)

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 ?
'Over the last 200 years, one can see a gradual shift toward the elevation of color, line and structure over purely pictorial elements, culminating in full abstraction. This is the aspiration of art toward the condition of music,' explained Roger Misson.
Full abstraction, then, can be reached through appropriate narrative and expository writings.
Saavedra's works resist the trajectory of a fully defined figure even as these arrest the tendency to go into full abstraction. Thus, each painting is rich in playfulness, critique and indulgence of material: all enjoyed in the moment of a glance, in the suddenness of gaze.