本文中提出这一语言的两种语义,指称语义(Denotational Semantics)和公理化语义(Axiomatic Semantics)。但这两个语义中都回避了语言可能具有的某些不确定性,这一问题将留待以后解决。
基于200个网页-相关网页
...，1980 年图灵奖获得者)已经在对一阶谓 词演算扩充了一组公理和一组推导规则的情况下建立起了 公理语义学 ( axiomatic semantics )作 为程序设计语言语义形式化的一种方法，并曾被成功地用来描述Pascal 等语言。但 公理语义学 是不完备的。
基于26个网页-相关网页
To the exception handling mechanism, the axiomatic semantics is difficultly to research.
对于异常处理机制来说，其公理语义的研究难度更大。
参考来源 - Java语言的异常处理机制的公理语义·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
应用推荐