This thesis researches the optimization of the array data-flow analysis and the array privatization technique on program optimization.
本文主要研究数组数据流分析技术的优化及程序优化中的数组私有化技术。
Based on this method and adopts object-oriented programming technique, an emulator program module for construction process analysis of space structure is developed on the platform of MSTCAD.
以此算法为基础，基于MSTCAD平台，采用面向对象编程技术编制了空间结构施工过程仿真分析的程序模块。
Model checking, a technique for verifying the existence or non-existence of certain temporal properties in a program is also a static analysis.
模型检查，是验证一程序中是否存在某些暂时性特性的一种技术，它也是静态分析。
应用推荐