说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 类型安全集合
1)  type-safe collection
类型安全集合
2)  Type safety
类型安全
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.
本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。
补充资料:血液有形成分各种类型的血细胞虚线指示中间类型的细胞。




血液有形成分  各种类型的血细胞  虚线指示中间类型的细胞。
                                       李瑞端绘
  [图]图

说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条