program semantics的例句大全

On Program Semantics of Dynamic Data Structures

论动态数据结构的程序语义

So, this paper addresses how to define program semantics on dynamic data structures.

本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。

Programs have appeared as O_expressions ( expressions of operations on physical objects) and program semantics are given by axioms on O_expressions.

程序以操作表达式的形式呈现，而其语义则以公理的形式给出。

Online monitor and offline analysis can analyze syntax and semantics of transport stream, extract program information, monitor transport status.

在线监测和离线分析可以对传输流的语法和语义进行分析，提取节目的相关信息，监测码流的传输状态。

In this paper, the semantics of Verilog program are studied in a discrete continuous hybrid time model, a hybrid interval is denoted as the description of a run of Verilog program.

在连续离散混合时间模型中考虑Verilog的语义行为，将混合模型中的一个区间作为Verilog程序一次运行过程的指称。

The compiler is actually free to take some liberties with the program order within a thread as long as as-if-serial semantics are preserved.

编译器实际上对在线程中使用程序顺序是可以有一些自由的&只要保留了as-if-serial语义。