2) safe-type system
安全类型系统
1.
A new method to enforce the compiler’s security by safe-type systems is proposed.
本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。
3) 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.
本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。
4) type safetypolicy
类型安全策略
5) static type safety
静态类型安全性
6) type-safe collection
类型安全集合
补充资料：血液有形成分各种类型的血细胞虚线指示中间类型的细胞。
李瑞端绘
[图]
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条