For a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions.
用计算函数模型进行精确的数据流分析，条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系。
For a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions.
用计算函数模型进行精确的数据流分析，条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系。
应用推荐