数据流包含重要的语义差别，我们将在本系列的第2部分中对此进行详细讨论。
Data flow contains important semantic differences that we will discuss in detail in Part 2 of this series.
精确的数据流分析，需要充分利用条件分支语句的逻辑语义。
A precise dataflow analysis should effectively exploit the semantic information presented by conditional branch statements.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。
This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。
This paper aims at the verification currently in bottleneck problem, elaborated that current popular verification technologies and some hardware verification languages.
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
应用推荐