?公理化语义

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

[数]?公理语义

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

[数]?公理语义学

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

?公理语意学

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