| slovo | definícia |
denotation
(encz) | denotation,označování n: Zdeněk Brož |
Denotation
(gcide) | Denotation \De`no*ta"tion\, n. [L. denotatio: cf. F.
d['e]notation.]
The marking off or separation of anything. --Hammond.
[1913 Webster] |
denotation
(wn) | denotation
n 1: the act of indicating or pointing out by name [syn:
indication, denotation]
2: the most direct or specific meaning of a word or expression;
the class of objects that an expression refers to; "the
extension of `satellite of Mars' is the set containing only
Demos and Phobos" [syn: reference, denotation,
extension] |
| | podobné slovo | definícia |
denotation
(encz) | denotation,označování n: Zdeněk Brož |
denotational
(encz) | denotational,denotační adj: Zdeněk Broždenotational,označující adj: Zdeněk Brož |
denotationally
(encz) | denotationally, |
denotations
(encz) | denotations,označení n: pl. Zdeněk Broždenotations,významy n: pl. Zdeněk Brož |
denotation
(wn) | denotation
n 1: the act of indicating or pointing out by name [syn:
indication, denotation]
2: the most direct or specific meaning of a word or expression;
the class of objects that an expression refers to; "the
extension of `satellite of Mars' is the set containing only
Demos and Phobos" [syn: reference, denotation,
extension] |
denotational semantics
(foldoc) | 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.
(1996-08-21)
|
denotational semantics language
(foldoc) | Denotational Semantics Language
(DSL) The specification language
used by the SIS compiler generator.
["SIS - Semantics Implementation System", P.D. Mosses, TR
DAIMI MD-30, Aarhus U, Denmark].
(1996-10-13)
|
|