vt. axiomatize
About the axiomatic semantics, I have not see the articles about the axiomatic semantics of continue, break, return, and the main reason is these statements concerning about the control transfer and difficultly to describe the formula.
关于公理语义，目前没有见到讨论continue，break，return等的语句的公理化方面的文章，主要原因是这些语句涉及到控制转移问题，用逻辑公式不易描述。
参考来源 - Java语言的异常处理机制的公理语义·2,447,543篇论文数据，部分数据来源于NoteExpress
首先，金融模型应避免过多的公理化。
First, financial models should avoid too much axiomatisation.
提出了基于公理化与知识驱动的产品CAD模型建立方法及实现技术。
The product CAD modeling and implementing technology based on the Axiomatic Design and knowledge driven are put forward.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
应用推荐