denotational semantics

(redirected from Fully abstract)

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 ?
This exhibition of the self-taught painter's work, curated by artists Alexandre da Cunha and Rivane Neuenschwander, included an assortment of: still fifes, rural and semi-urban landscapes, as well as fully abstract compositions.
The topics include applications of game semantics from program analysis to hardware synthesis, an algebra for Kripke polynomial co-algebras, fully abstract logical bi-similarity for a polymorphic object calculus, pointer programs and undirected reachability, expressiveness and closure properties for quantitative languages, the computational complexity of verifying one-counter processes, statistical analysis for probabilistic processes, a unified sequent calculus for focused proofs, trichotomy in the complexity of minimal inference, and the complexity of positive first-order logic without equality.
The glazed steatite seals "are carved with distinctive imagery that is either fully abstract or combines abstract elements with representations of animals, usually horned quadrupeds" (p.
With Emergency Exit Clarence Major confronts the most serious objections to such styles of fiction: that while the visual arts and music can indeed achieve fully abstract expression, the novel faces the limitation of having to take its shape from necessarily referential words.
Instance object, administrators can fully abstract the Oracle Service
0, we'll fully abstract this process to simple visual metaphors and drag-and-drop gestures.
1982, a drawing whose thick, continuous green line traces an irregular--unnam-able--shape that would remain fully abstract had the title not been written into the picture with red pen in polite cursive?
Later, Join's work grew fully abstract, as in Ca et moi (Here and me), 1969, a fierce yet lyrical composition in which darker colors bear down on lighter ones and the lighter ones resist.
Numerous group shows, most notably "Color Me Mine" at LACE, have featured quasi- to fully abstract paintings (with the influence of Laura Owens rippling through much of the canvas displayed, even though Owens herself hasn't exhibited on the West Coast for a few years).
Luminex's software development kit includes comprehensive APIs that fully abstract both the FICON and ESCON channel protocols, enabling software developers to concentrate on the unique functionality and value of their storage and networking applications.
AMT will use its proprietary relational database software, AMTprolease, to export and fully abstract and validate Benenson's property, lease and mortgage portfolio.
The resulting solution fully abstracts the unique business logic of any given market -- the product definitions, the trading rules, the order matching and the user privileges.