static examination
英
美
- 静态检查
双语例句
- We have adopted type refinement or dataflow analysis to static checking of information flow security of programs for three simple sequential or parallal compuing modules.
我们针对三种简单的串行和并行计算模型，分别用类型细化方法和数据流分析方法进行了程序信息流安全的静态检查的研究。
相关词汇
大家正在查
Copyright © 2023 256查询网 All Rights Reserved
