To the exception handling mechanism, the axiomatic semantics is difficultly to research.
对于异常处理机制来说，其公理语义的研究难度更大。
参考来源 - Java语言的异常处理机制的公理语义·2,447,543篇论文数据，部分数据来源于NoteExpress
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
其次，我们引入有序邻域语义，给出描述DEC2的特征公理的框架条件，证明DEC2相对这些框架条件是框架可靠的。
Secondly, we introduce the order neighborhood semantics, give the frame conditions of the character axioms of DEC2, prove the frame soundness of DEC2 with respect to the frame conditions.
应用推荐