catflap.org Online Dictionary Query |
7 definitions found
From The Free On-line Dictionary of Computing (27 SEP 03) : [ 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)
From English Wiktionary: All languages (2023-07-27) : [ dictinfo.com:wikt-en-ALL-2023-07-27 ]
denotational semantics
n.
(lb en computer science) An approach to formalizing the meanings of
programming languages by constructing mathematical objects called
denotations which describe the meanings of expressions from the
languages.
From English Wiktionary: English language only (2023-07-27) : [ dictinfo.com:wikt-en-en-2023-07-27 ]
denotational semantics
n.
(lb en computer science) An approach to formalizing the meanings of
programming languages by constructing mathematical objects called
denotations which describe the meanings of expressions from the
languages.
From English Wiktionary: Western, Greek, and Slavonic languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western_Greek_Slavonic-2023-07-27 ]
denotational semantics
n.
(lb en computer science) An approach to formalizing the meanings of
programming languages by constructing mathematical objects called
denotations which describe the meanings of expressions from the
languages.
From English Wiktionary: Western languages only (2023-07-27) : [ dictinfo.com:wikt-en-Western-2023-07-27 ]
denotational semantics
n.
(lb en computer science) An approach to formalizing the meanings of
programming languages by constructing mathematical objects called
denotations which describe the meanings of expressions from the
languages.
From English - German Ding/FreeDict dictionary ver. 1.9-fd1 : [ freedict:eng-deu ]
denotational semantics /dɪnəʊtˈeɪʃənəl səmˈantɪks/
denotationelle Semantik [ling.]
see: denotational semantics
From English - German Ding/FreeDict dictionary ver. 1.9-fd1 : [ freedict:eng-deu ]
denotational semantics /dɪnəʊtˈeɪʃənəl səmˈantɪks/
Funktionensemantik
see: denotational semantics
Questions or comments about this site? Contact dictionary@catflap.org
Access Stats