1) DL-safe rules
DL安全规则
2) safety rules
安全规则
1.
The safety rules that should be followed by the fire fighters in forest fire fighting are given briefly.
本文简要介绍了在林火扑救中扑火队员应遵守的安全规
2.
This paper analyzes exception representation in C++ program and gives the classification of exception holes,in terms of which exception safety rules are constructed,and presents an approach of interprocedural bottom-up communicating of info and intraprocedural synt.
文章通过分析异常在C++程序中的各种表现形式,对异常安全漏洞进行了分类,在此基础上构建异常安全规则,采用过程间自下而上收集传递信息和过程内语法制导翻译相结合的方法,实现了C++异常安全的静态检查。
4) DL-safe rule
DL-safe规则
1.
In the paper, an approach for extracting new DL-safe rules is proposed.
Motik提出了一种可判定的方法,将SHIQ(D)描述逻辑与规则结合,所结合的规则限定在一种叫做DL-safe规则的范围内。
2.
An algorithm is proposed for checking the consistency of UML-Statechart,which can use the DL-Safe rule to reason the knowledge base.
为了对UML状态图进行形式化验证,将状态图中的语义分为静态语义和动态语义两部分,用描述逻辑知识库表示静态语义,用DL-Safe规则表示动态语义。
6) safe-type rule
安全类型规则
1.
A formal definition of type system is given, safe-types and safe-type systems are instroduced, and sub-type rules and safe-type rules of safe-type systems are pointed out.
本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。
补充资料：[3-(aminosulfonyl)-4-chloro-N-(2.3-dihydro-2-methyl-1H-indol-1-yl)benzamide]
分子式：C16H16ClN3O3S
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
分子量：365.5
CAS号：26807-65-8
性质：暂无
制备方法：暂无
用途：用于轻、中度原发性高血压。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条