在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
denotational semantics
查词链接：
https://www.dute.org/dict/denotational_semantics复制链接 [计] 指称语义
查看英英释义
abstract:
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 a formal semantics of programming languages include axiomatic semantics and operational semantics.
网络释义
指称语义
指称语义（Denotational Semantics） 指称语义学认为，程序设计语言的语义是由其语言成份的语义决定的，而程序设计语言 成份的语义应该是其本身固有的，与程序设计语...
指称语义学
1973年straehy和scott提出了指称语义学(denotational semantics)〔‘〕,取得了形式语义理论的一次重大突破. IBM维也纳实验室基于指称语义学提出了著名的规范描述的形式方法一维也纳开发方法.
标志语意
... 标志描述 denotational description 标志语意 denotational semantics 标志语意语言 Denotational Semantics Language ...
外延语义学
... 外延迟时间 external delay time 外延语义学 denotational semantics 外因延迟 external delay ...
常用短语
更多常用短语正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}