他本来想要更强的模板参数的静态类型检验。
He would have liked stronger static type checking of template arguments.
所建立的完整性信息流控制机制可通过静态类型检验高效实现。
The proposed integrity information flow mechanism can be efficiently implemented by static type checking.
基于目前XML类型处理问题的研究现状，对XML数据库类型系统的形式化建模、类型验证和类型检验等问题进行了研究探讨。
According to the current research status of XML type processing problems, we will investigate the type validation and type checking problems for the type systems of the XML Database deeply.
应用推荐