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.