go top

axiomatic semantics
[ˌæksɪəˈmætɪk sɪˈmæntɪks]

  • [数] 公理语义学;[数] 公理化语义

网络释义专业释义英英释义

  公理化语义

本文中提出这一语言的两种语义,指称语义(Denotational Semantics)和公理化语义(Axiomatic Semantics)。但这两个语义中都回避了语言可能具有的某些不确定性,这一问题将留待以后解决。

基于200个网页-相关网页

  [数] 公理语义

公理语义Axiomatic Semantics公理语义是根据数学中的公理化方法形式化程序设计语言相关语法的语义。

基于28个网页-相关网页

  [数] 公理语义学

...,1980 年图灵奖获得者)已经在对一阶谓 词演算扩充了一组公理和一组推导规则的情况下建立起了 公理语义学 ( axiomatic semantics )作 为程序设计语言语义形式化的一种方法,并曾被成功地用来描述Pascal 等语言。但 公理语义学 是不完备的。

基于26个网页-相关网页

  公理语意学

... 公理复杂性 axiomatic complexity 公理语意学 axiomatic semantics 轴 axis ...

基于12个网页-相关网页

短语

axiomatic semantics approach 翻译 ; 公理语义学方法

axiomatic c semantics 公理化语义

  • 公理语义 - 引用次数:15

    To the exception handling mechanism, the axiomatic semantics is difficultly to research.

    对于异常处理机制来说,其公理语义的研究难度更大。

    参考来源 - Java语言的异常处理机制的公理语义
    公理语意学
    公理语义学
  • 公理语意学
    公理化语义
  • 公理语义

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

Axiomatic semantics

  • abstract: Axiomatic semantics is an approach based on mathematical logic to proving the correctness of computer programs. It is closely related to Hoare logic.

以上来源于: WordNet

双语例句

  • SO, in every statement, the condition or conclusion of the axiomatic semantics of expression has the "REASON".

    因此每个语句表达式公理中的条件部分结论部分都含有REASON

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

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

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