Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
denotational semantics
English Wikipedia - The Free Encyclopedia
Download this dictionary
Denotational semantics
In
computer science
,
denotational semantics
(initially known as
mathematical semantics
or
Scott–Strachey semantics
) is an approach of formalizing the meanings of
programming languages
by constructing mathematical objects (called
denotations
) that describe the meanings of expressions from the languages. Other approaches to providing
formal semantics of programming languages
include
axiomatic semantics
and
operational semantics
.
See more at Wikipedia.org...
© This article uses material from
Wikipedia
®
and is licensed under the
GNU Free Documentation License
and under the
Creative Commons Attribution-ShareAlike License