go top

网络释义专业释义

  denotational semantics

1973年straehy和scott提出了指称语义学(denotational semantics)〔‘〕,取得了形式语义理论的一次重大突破. IBM维也纳实验室基于指称语义学提出了著名的规范描述的形式方法一维也纳开发方法.

基于32个网页-相关网页

  • denotational semantics
  • denotational semantics

·2,447,543篇论文数据,部分数据来源于NoteExpress

双语例句

  • 指称语言哲学重要内容也是语义学理论最核心最基础的理论。

    Reference is a important content of language philosophy and is the foundation and core of semantics theory.

    youdao

  • 历史地讲,语言哲学中的“语言学转向始于指称理论传统语义学研究中“战略性失败

    Historically, the turning of Pragmatics originated from the "strategic" failure of reference theory in traditional semantic research.

    youdao

  • 框架语义学间接回指中指称确定认知推理有较强的解释力。

    Frame semantics interprets the confirmation of the anaphor and cognitive discursion.

    youdao

更多双语例句

百科

指称语义学

形式语义学的一个分支。人们用程序设计语言编制程序,命令计算机系统去加工数据。不同的计算机系统有不同的结构,因此对同一个命令的执行过程可以不同,但最终效果应该相同。指称语义学方法认为不应该将程序设计语言中各个成分的执行过程计入语言成分的语义中。语言成分的语义,应该是执行语言成分所要得到的最终效果。这是语言成分所要表达的含义,是语言成分本身所固有的,不因计算机系统的不同而改变。执行语言成分产生的最终效果被看作是语言成分的所指,称作为语言成分的指称物。这种语义学以语言成分的指称物作为语言成分的语义,故名为指称语义学。。

详细内容

以上来源于: 百度百科
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定