1) type-safe collection
类型安全集合
3) safe set
安全集合
4) gather the type
集合类型
1.
What care accumulate to gather the type.
本文通过集合论的方法得出笛卡尔积的内域,闭包,导集的三个公式,并由此确定了笛卡尔积的集合类
5) safe-type system
安全类型系统
1.
A new method to enforce the compiler’s security by safe-type systems is proposed.
本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。
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.
本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。
补充资料:血液有形成分各种类型的血细胞虚线指示中间类型的细胞。
李瑞端绘
[图]
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条